properly remove the old signals and prevent MC to fire Comm::on_this_completion

[simgrid.git] / examples / cpp / mc-bugged2-liveness / s4u-mc-bugged2-liveness.tesh

diff --git a/examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.tesh b/examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.tesh
index a48a2ab5a320b8551de09c098d63e8ea0ed05d5b..28329f62dae0edda79b6a69dde68d45fcb54d350 100644 (file)
--- a/examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.tesh
+++ b/examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.tesh
@@ -3,4 +3,4 @@
 ! expect return 2
 ! timeout 20
 ! output ignore
-$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/s4u-mc-bugged2-liveness ${platfdir:=.}/small_platform.xml --log=xbt_cfg.thresh:warning "--log=root.fmt:[%10.6r]%e(%i:%a@%h)%e%m%n" --cfg=contexts/factory:ucontext --cfg=contexts/stack-size:256 --cfg=model-check/property:promela_bugged2_liveness
+$ $VALGRIND_NO_TRACE_CHILDREN ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/s4u-mc-bugged2-liveness ${platfdir:=.}/small_platform.xml --log=xbt_cfg.thresh:warning "--log=root.fmt:[%10.6r]%e(%i:%a@%h)%e%m%n" --cfg=contexts/factory:ucontext --cfg=contexts/stack-size:256 --cfg=model-check/property:promela_bugged2_liveness