Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase tesh timeouts
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 29 Nov 2012 13:02:15 +0000 (14:02 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 2 Dec 2012 21:15:49 +0000 (22:15 +0100)
commit1fb08bfd88ea0a1e8b4c1ec2b0ec4519126b6c51
tree35fa727e7214a2ac016fefc9d669ff38a7d4823c
parent49a16851516d792f58799e0c6b7b46b37b8d272b
model-checker : increase tesh timeouts
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