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 12:47:04 +0000 (13:47 +0100)
commit33eca433c4f055cdfcc55e46d125f8708e1848c7
treed3e9de1fabf4c0c3dcc6d682a8f09c784d2b550b
parent79a5552c4e41de77e291df5a0a30726a83bbee48
[mc] Enable MC specific behaviour in replay mode
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