Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Align the behavior of MC and MC_replay in SMPI, so that replay actually works
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 31 Oct 2022 23:25:43 +0000 (00:25 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 31 Oct 2022 23:25:48 +0000 (00:25 +0100)
commit64267f7e36562e503aa04a2895707d74b37cc7a2
treeb07dc1961d9c8c4518b369d9e7dbb82f25219ad6
parent18438ade0ea0213b9990e78db27915c9cfee58f3
Align the behavior of MC and MC_replay in SMPI, so that replay actually works

+ improved debug messages
src/kernel/actor/Simcall.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/mc_base.cpp
src/mc/mc_record.cpp
src/smpi/internals/smpi_global.cpp