Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update snapshot_comparison tests
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 5 Dec 2012 14:58:31 +0000 (15:58 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 5 Dec 2012 14:58:31 +0000 (15:58 +0100)
commitd28deecd8877f863c3b2f8623da62ce8aeee304c
tree66c9c2ef48f37e0e2d68906a5a9a2a4d06298e53
parent6d8693000fed2c1603be15a9ff86d1965c2c61a9
model-checker : update snapshot_comparison tests
examples/msg/mc/test/snapshot_comparison1.c
examples/msg/mc/test/snapshot_comparison1.tesh
examples/msg/mc/test/snapshot_comparison2.c
examples/msg/mc/test/snapshot_comparison2.tesh
examples/msg/mc/test/snapshot_comparison3.c
examples/msg/mc/test/snapshot_comparison3.tesh
examples/msg/mc/test/snapshot_comparison4.c
examples/msg/mc/test/snapshot_comparison4.tesh
examples/msg/mc/test/snapshot_comparison5.c
examples/msg/mc/test/snapshot_comparison5.tesh