Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add tesh for bugged1_liveness and chord_neverjoin
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 18 Nov 2012 18:46:18 +0000 (19:46 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 18 Nov 2012 18:46:18 +0000 (19:46 +0100)
commitc96ecfc133ad561ad8992a00508bfa9eaaeaf31a
tree04690a2fc3255ab228b52b9117c50bc26b8c3c10
parent04c2f2d2a1d483120cef0e6110df53178c8bfe04
model-checker : add tesh for bugged1_liveness and chord_neverjoin
buildtools/Cmake/AddTests.cmake
examples/msg/mc/bugged1_liveness.tesh [new file with mode: 0644]
examples/msg/mc/chord/chord_neverjoin.tesh [new file with mode: 0644]