Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update bugged1 and bugged2 tesh (different compilation flags)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 13 Jun 2013 10:45:47 +0000 (12:45 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 13 Jun 2013 10:45:47 +0000 (12:45 +0200)
commitd89f14ee146bf069a32e9e1802c7cbbbe96bd5d4
treeb12e9fdd9f41d9ba3cc8f5a2bb5b97075c9ac052
parent1b99d9bfbf73e4591ae012c78ac99ba08fabe645
model-checker : update bugged1 and bugged2 tesh (different compilation flags)
examples/msg/mc/bugged1.tesh
examples/msg/mc/bugged2.tesh