Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore new variables
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 4 Dec 2012 18:16:33 +0000 (19:16 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 4 Dec 2012 18:17:23 +0000 (19:17 +0100)
commit6d8693000fed2c1603be15a9ff86d1965c2c61a9
tree1c876fcc34bbc7b5d3ac3d830174f6df0f478a3a
parent004dc1d6a53f5ded31becbdc1bee43805359d8c6
model-checker : ignore new variables
src/mc/mc_compare.c
src/mc/mc_global.c