Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix ignore global variable
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Aug 2013 18:11:35 +0000 (20:11 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Aug 2013 18:11:35 +0000 (20:11 +0200)
commitda87c9b1533f7706bd33605e3b63aab65cad83ec
treeed8f038f4e55848fd73a3bfc3054cc6bd385796a
parent3afa2377814512e11a13e85442813555d205fa0a
model-checker : fix ignore global variable
src/mc/mc_global.c