Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix unit MC tests after platform file move/rename
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 1 Jul 2014 13:37:58 +0000 (15:37 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 1 Jul 2014 13:37:58 +0000 (15:37 +0200)
commit3cfaaa366663e152c416f7c7803133c9000017bc
treee2ed4b2de681e205c539ec80ede7554264d8b639
parent03e52d7a3c1348355883d168067af8b479f317a3
[mc] Fix unit MC tests after platform file move/rename
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/bugged1_liveness_visited.tesh