Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update tesh with new cleanups done in model checking configuration
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 22 Jun 2012 08:53:12 +0000 (10:53 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 22 Jun 2012 08:53:12 +0000 (10:53 +0200)
commit803fa84041f40cd0d29f9999a7892f59db1a6652
tree13bf245205eed5088379a811c7819401f83e3f68
parent6291bde41715188d706c368bc4b2cdc8511399c9
model-checker : update tesh with new cleanups done in model checking configuration
examples/msg/mc/bugged1.tesh
examples/msg/mc/bugged2.tesh