Message has been removed.

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

diff --git a/teshsuite/mc/random-bug/random-bug.tesh b/teshsuite/mc/random-bug/random-bug.tesh
index 8e097de..4e03424 100644 (file)
--- a/teshsuite/mc/random-bug/random-bug.tesh
+++ b/teshsuite/mc/random-bug/random-bug.tesh
@@ -23,7 +23,6 @@ $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/random-bug abort ${platfdir}
 > [  0.000000] (0:maestro@) ** CRASH IN THE PROGRAM **
 > [  0.000000] (0:maestro@) **************************
 > [  0.000000] (0:maestro@) From signal: Aborted
-> [  0.000000] (0:maestro@) No core dump was generated by the system.
 > [  0.000000] (0:maestro@) Counter-example execution trace:
 > [  0.000000] (0:maestro@)   [(1)Fafard (app)] MC_RANDOM(0)
 > [  0.000000] (0:maestro@)   [(1)Fafard (app)] MC_RANDOM(0)