Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Sanitize how we know the current MC mode
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 Mar 2023 22:54:52 +0000 (23:54 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 Mar 2023 22:54:56 +0000 (23:54 +0100)
commit07873eb9ff7012c06271536610c29cb14c93576a
tree722b2621fd3fcfb0fe1d97587aa59af7569393bc
parentad89218daa4a402efc597c9c3b5bb38b79cce5bf
Sanitize how we know the current MC mode

This can be either NONE, AppSide, CheckerSide or Replay.

Also, further reduce how often we use the mc_model_checker singleton
src/mc/explo/simgrid_mc.cpp
src/mc/mc_base.cpp
src/mc/mc_client_api.cpp
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/remote/AppSide.cpp