Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "[mc] Enable MC specific behaviour in replay mode"
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 1 Dec 2014 13:01:43 +0000 (14:01 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 1 Dec 2014 13:02:54 +0000 (14:02 +0100)
commit49514a74128a35ed4c0ba6dc190d70d35dd9fd7a
treee5f4fe19fadcdfb66395789a81ba21694d1e6faf
parent33eca433c4f055cdfcc55e46d125f8708e1848c7
Revert "[mc] Enable MC specific behaviour in replay mode"

This reverts commit 33eca433c4f055cdfcc55e46d125f8708e1848c7.

Build is broken.
14 files changed:
buildtools/Cmake/DefinePackages.cmake
examples/msg/chord/chord.c
include/simgrid/modelchecker.h
src/mc/mc_global.c
src/mc/mc_record.c
src/mc/mc_record.h
src/simix/libsmx.c
src/simix/smx_global.c
src/simix/smx_host.c
src/simix/smx_network.c
src/simix/smx_process.c
src/smpi/smpi_base.c
src/smpi/smpi_bench.c
src/smpi/smpi_global.c