From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 9 Jul 2019 18:27:45 +0000 (+0200)
Subject: Message has been removed.
X-Git-Tag: v3.24~358
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/62092c1b6479cce4011d3a420cf8ac75ca853fa9

Message has been removed.
---

diff --git a/teshsuite/mc/random-bug/random-bug.tesh b/teshsuite/mc/random-bug/random-bug.tesh
index 8e097de364..4e03424a14 100644
--- 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)