Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
sleep sets are not an option in MC. We always need them
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 24 Jun 2023 14:26:04 +0000 (16:26 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 24 Jun 2023 14:26:09 +0000 (16:26 +0200)
commite1d3ff4bd68f35edf6fb7bd9bba247edbf3cc955
treebbad1561b4a5834ec6263b9bce3376446815a380
parent54ee7129f9ecda8234c16550a465f3d3b75df294
sleep sets are not an option in MC. We always need them

It was useful to have it as an option when debugging.
docs/source/Configuring_SimGrid.rst
src/mc/api/State.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/mc_config.cpp
src/mc/mc_config.hpp