Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Message has been removed.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 9 Jul 2019 18:27:45 +0000 (20:27 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 9 Jul 2019 18:27:45 +0000 (20:27 +0200)
teshsuite/mc/random-bug/random-bug.tesh

index 8e097de..4e03424 100644 (file)
@@ -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@) ** 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)
 > [  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)