Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Ingnore the output of the liveness test and only expect an acceptance cycle
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 21 Apr 2016 08:52:04 +0000 (10:52 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 21 Apr 2016 08:52:04 +0000 (10:52 +0200)
commit06b2f93a4aa06ea4672d092c945f103e9248ab50
tree3db97a2518cdc75021e0a6a691721560ae4f2068
parent6618b4c21b3d7204e322539b0ff831267ff00a56
[mc] Ingnore the output of the liveness test and only expect an acceptance cycle

On my compter, the exact size of the cycle depends on the compiler
used (GCC 4.9 vs GCC 5.3).
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/bugged1_liveness_sparse.tesh