MC replay: check whether there is a deadlock after running the trace

[simgrid.git] / teshsuite / mc / random-bug / random-bug-replay.tesh

diff --git a/teshsuite/mc/random-bug/random-bug-replay.tesh b/teshsuite/mc/random-bug/random-bug-replay.tesh
index df08557..c32150f 100644 (file)
--- a/teshsuite/mc/random-bug/random-bug-replay.tesh
+++ b/teshsuite/mc/random-bug/random-bug-replay.tesh
@@ -3,6 +3,7 @@ $ ${bindir:=.}/random-bug printf ${platfdir}/small_platform.xml  --log=xbt_cfg.t
 > [  0.000000] (0:maestro@) Behavior: printf
 > [  0.000000] (0:maestro@) path=1/3;1/4
 > [  0.000000] (1:app@Fafard) Error reached
+> [  0.000000] (0:maestro@) The replay of the trace is complete. The application is terminating.
 
 # Behavior: assert does not have the same output within and without MC, so don't test it here. That's already covered with the other ones