MC
* The model checker now runs as a separate process.
* The model checker runs must now be launched with the new simgrid-mc program.
* Record/Replay: the MC can display a textual representation of a path in the
execution graph. It can then be replayed outside of the model checker.
MC
* The model checker now runs as a separate process.
* The model checker runs must now be launched with the new simgrid-mc program.
* Record/Replay: the MC can display a textual representation of a path in the
execution graph. It can then be replayed outside of the model checker.