> [ 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)