Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove useless debug message and add another one
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 4 Jun 2014 15:13:23 +0000 (17:13 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 4 Jun 2014 15:13:23 +0000 (17:13 +0200)
commit29b2bf945239b1950c277f4afff78e8ea327000a
tree17b9aec6dbfed84c9b11669dfa206a8188d8ceb8
parentb77d16c5d011f3c04ab6dcc2c4d5d2f865fd9415
model-checker : remove useless debug message and add another one
src/mc/mc_compare.c
src/mc/mc_safety.c