Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase timeout in tesh snapshot_comparison[1-5]
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 22 Nov 2012 08:33:03 +0000 (09:33 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 22 Nov 2012 08:37:03 +0000 (09:37 +0100)
commit1f28bb6ad97b952706794172827423fd4e258abc
treecebb1e46939d005544f48c3b53daceb64e89536e
parentc49140baf3058c9e38e1c5cc38140d676012ac0a
model-checker : increase timeout in tesh snapshot_comparison[1-5]
examples/msg/mc/test/snapshot_comparison1.tesh
examples/msg/mc/test/snapshot_comparison2.tesh
examples/msg/mc/test/snapshot_comparison3.tesh
examples/msg/mc/test/snapshot_comparison4.tesh
examples/msg/mc/test/snapshot_comparison5.tesh