Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix debug message
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Jun 2012 12:40:04 +0000 (14:40 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Jun 2012 12:40:10 +0000 (14:40 +0200)
commit3d89ac9e77a94688b909a2d668d3de7b439e4983
treeedbee8428e78e6e4f9e44d373e990e79241256eb
parent6d010dd45225674442648cd45f20f835f3d9742e
model-checker : fix debug message
src/mc/mc_dpor.c