Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Convert MC config parameters to C++ API, and move their definitions to mc_config...
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 18 Apr 2018 16:11:53 +0000 (18:11 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 18 Apr 2018 22:00:58 +0000 (00:00 +0200)
commitff420e1906d916322427488153e45bf82d5c03dd
treefaf1f5f4eacfea1c9465da67fbc0957da7b6f075
parent74abafcd3702b62d42041354260d1f5e3508fa38
Convert MC config parameters to C++ API, and move their definitions to mc_config.cpp.
src/mc/ModelChecker.cpp
src/mc/Session.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/simgrid_mc.cpp
src/mc/mc_checkpoint.cpp
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/mc_global.cpp
src/simgrid/sg_config.cpp