Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix DPOR with visited states reduction
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 10 Aug 2013 10:28:48 +0000 (12:28 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 10 Aug 2013 10:38:01 +0000 (12:38 +0200)
commite3314a95b4f2e372c4876abb6ba3ff38ff76b4be
tree3fb0ee0dab8f9309ea6ee9ff9b4c3c9f52d91799
parentec3bf45915829f16601f4a221afff11f7bf0a138
model-checker : fix DPOR with visited states reduction
src/mc/mc_dpor.c