Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update examples for test snapshot comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 31 Oct 2012 17:50:00 +0000 (18:50 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 15:59:31 +0000 (16:59 +0100)
commitb436951b74325ab8ba6c798a151cc9081d24153e
treee7ebc5eb0f4452847e6d51f109a81fd76d17ad3f
parenta8c9a764fa0d66251c5b954663ee192facbd94c1
model-checker : update examples for test snapshot comparison
examples/msg/mc/test/snapshot_comparison_liveness2.c
examples/msg/mc/test/snapshot_comparison_liveness3.c
examples/msg/mc/test/snapshot_comparison_liveness4.c
examples/msg/mc/test/snapshot_comparison_liveness5.c