Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : improve debug messages
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 12 Jun 2013 16:30:23 +0000 (18:30 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 13 Jun 2013 09:49:41 +0000 (11:49 +0200)
commit4d6e2bb1c86ba6092fc69e61582c223100ee98a9
treec9afeb2123d35305cda954976d37e980274d4e2e
parentdd92246f876993d5196363d4f075231c25c87693
model-checker : improve debug messages
src/mc/mc_dpor.c