Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove unused variable with debug mode disabled
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 11:27:35 +0000 (13:27 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commit991b65d1ab6f9f0b970b700c1f27e8a4f053de7e
treea416aaece7b314cfa43f03952d293070ebf840bc
parent3227570daf9d253c6d0a79f3c20c04e50e33146c
model-checker : remove unused variable with debug mode disabled
src/mc/test/compare_snapshot.c