Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix dot_output with DPOR
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Aug 2013 08:20:30 +0000 (10:20 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 10 Aug 2013 10:38:01 +0000 (12:38 +0200)
commite8b3a14465edd424a70a7270f4f287e0705a156e
tree27ba1cce13c52f1849d47563dd06669f510fcab0
parentb2e658a1493efc2d23095c0a1b217c10bda84fa7
model-checker : fix dot_output with DPOR
src/mc/mc_dpor.c
src/mc/mc_private.h