Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : improve debug message
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Mar 2013 16:05:56 +0000 (17:05 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:55 +0000 (18:30 +0100)
commitcbc3117c526501483677c834f121499c5c67b753
tree4f69ff6998b2bf2fce201dd03022091af4e46017
parentbdd25e7e320fa5d4f826cbb89bad6cfff45e0c21
model-checker : improve debug message
src/mc/mc_compare.c