Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use new variable _sg_mc_liveness instead of _sg_mc_property_file
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 4 Jun 2014 15:15:21 +0000 (17:15 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 4 Jun 2014 15:15:21 +0000 (17:15 +0200)
commit99cbb45d8f0ab2de02d0ef46a75e17f7cf57c466
tree1bf976827d178af66697d648985c2c32af9c7f03
parent29b2bf945239b1950c277f4afff78e8ea327000a
model-checker : use new variable _sg_mc_liveness instead of _sg_mc_property_file
src/mc/mc_compare.c
src/mc/mc_global.c