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