Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Increase the timeout of the liveness tests
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 19 Apr 2016 14:36:58 +0000 (16:36 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 19 Apr 2016 14:36:59 +0000 (16:36 +0200)
commit2eacf0d71ffc4fa6382648f34027cfdc2f21af0d
tree64f40415cd61ca3d9a536fad60744d8da3706afa
parent67a8c767ce9e19f1f341e07d60252cefbb0c3aec
[mc] Increase the timeout of the liveness tests
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/bugged1_liveness_sparse.tesh
examples/msg/mc/bugged1_liveness_visited.tesh
examples/msg/mc/bugged1_liveness_visited_sparse.tesh