Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix broken tests with surf++ (because simcall number have changed)
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 24 Feb 2014 09:10:56 +0000 (10:10 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 28 Feb 2014 08:32:37 +0000 (09:32 +0100)
commitf5e7be54257e7ba0ea181f0990656a2d63693d00
tree3c1948476b3bebc5bb7fae8bf52745948199fc11
parent36de03001fd78c9e883c926976db95aba997cdef
[mc] Fix broken tests with surf++ (because simcall number have changed)

 * do not print the simcall numbers as they are not stable;

 * remove them from test expected output of tests.
examples/msg/mc/bugged1.tesh
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/bugged1_liveness_visited.tesh
examples/msg/mc/bugged2.tesh
src/mc/mc_request.c