Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : variable used ifdef MC_VERBOSE
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 31 Jan 2013 22:23:19 +0000 (23:23 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 31 Jan 2013 23:45:34 +0000 (00:45 +0100)
commitefb48157b629f9950a06c8987c9a41cd354bb979
tree6e146997b8aa6a6c2852e0edd4b5bc779514e058
parent37dc8526fc8f952bd56ab72b4d58b657d34cbbbd
model-checker : variable used ifdef MC_VERBOSE
src/mc/mc_compare.c