Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore information about simix_global in safety MC
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 13:12:13 +0000 (15:12 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 13:21:20 +0000 (15:21 +0200)
commitb5b3f6e2f7cb378b14beda45623375aef69dda64
treeab0709ec306ded8401ae45921cc140da04800570
parente1c7ef48015ffa3fdd021c024b2192f1941a4bb7
model-checker : ignore information about simix_global in safety MC
src/mc/mc_dpor.c