Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update tesh bugged1 with the new version of DPOR
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 16 Dec 2012 20:14:25 +0000 (21:14 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 16 Dec 2012 20:14:25 +0000 (21:14 +0100)
commit418c46cdf11088fc52b1f8613e8ad6f81e0a2575
treeb70bdfcb14076de58f40c63eb753a1dc2940b9bb
parent464f89a9c5bd6322317dd01fc1edfec57cf48db7
model-checker : update tesh bugged1 with the new version of DPOR
examples/msg/mc/bugged1.tesh