Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix confusion between bindir and srcdir.
authorArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Fri, 15 Nov 2013 09:02:47 +0000 (10:02 +0100)
committerArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Fri, 15 Nov 2013 09:02:47 +0000 (10:02 +0100)
commit048b8c7e8cec5ab24e17e087b5cf2a7571b97a1e
treefb383fac7b6cd42dedf537be85f74f80be252b89
parent8b9696f20b03e9968251c7d4eb34061ef0ede759
Fix confusion between bindir and srcdir.
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/bugged1_liveness_visited.tesh