Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : print local variables only with debug mode enabled
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 20 Sep 2012 08:50:22 +0000 (10:50 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commitbc1dc348a31cb198cb91c324063e19a6dd72fd49
tree183c74953517b3334028deb9f19d23eb824ee692
parentc3a62fa6cb46d329c17e48d2d0b73de787ae94e0
model-checker : print local variables only with debug mode enabled
src/mc/mc_global.c