Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Partial cleanup of the initialisation of the different MC objects
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 23 Feb 2016 10:03:32 +0000 (11:03 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 23 Feb 2016 10:16:47 +0000 (11:16 +0100)
commit901f09137597064bab9349e26b7d882181ee3bdd
tree2b37e720aa3c095676796b889ff99bb3ddc6e032
parent6aeed0145f123c033e0fdfc5b45066894fffc2a2
[mc] Partial cleanup of the initialisation of the different MC objects

namely Process and ModelChecker.

This fixes the testall test.
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/Process.cpp
src/mc/Process.hpp
src/mc/mc_snapshot.cpp
src/mc/simgrid_mc.cpp
teshsuite/mc/dwarf/dwarf.cpp
teshsuite/mc/dwarf_expression/dwarf_expression.cpp