Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Enable MC specific behaviour in replay mode
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 1 Dec 2014 12:47:04 +0000 (13:47 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 1 Dec 2014 13:44:39 +0000 (14:44 +0100)
commit863adae6473cc1fe177d0c48bc07b752beb83880
tree9c47ba183bb5c05a40e815ef750fae86dbcdd1c1
parent49514a74128a35ed4c0ba6dc190d70d35dd9fd7a
[mc] Enable MC specific behaviour in replay mode
16 files changed:
buildtools/Cmake/DefinePackages.cmake
examples/msg/chord/chord.c
include/simgrid/modelchecker.h
src/mc/mc_base.h
src/mc/mc_global.c
src/mc/mc_private.h
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