Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove tesh bugged2 (too long with the new version of DPOR)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 16 Dec 2012 20:18:01 +0000 (21:18 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 16 Dec 2012 20:19:40 +0000 (21:19 +0100)
commitbcc3c7749b4273243807c89b6f0b91ab449033f2
tree74710838b5fe3d205eec1e5f3fabe1415b3592f4
parent418c46cdf11088fc52b1f8613e8ad6f81e0a2575
model-checker : remove tesh bugged2 (too long with the new version of DPOR)
buildtools/Cmake/AddTests.cmake
examples/msg/mc/bugged2.tesh [deleted file]