Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove variable from mc_local_variables if ignored
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 11 Feb 2013 08:12:00 +0000 (09:12 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:54 +0000 (18:30 +0100)
commitb8169ac0d35610b827d6669a1263011e42a5e7b3
tree67bbe5d8891e71b04078c2500b6facf4add3daf3
parent2ff090eb3fb94469c8933f478a65d3c95a876bad
model-checker : remove variable from mc_local_variables if ignored
src/mc/mc_global.c