Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC_replay: Ensure that times_considered is always set
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 30 Oct 2022 23:27:14 +0000 (00:27 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 30 Oct 2022 23:27:18 +0000 (00:27 +0100)
commit52eb02f7eb2f3fb537b0b8f7f8e40ae89a83d4c6
treea7bc6326218f08ac731dca6b63ce26ce77446cea
parenta46b20e2007bf3a1a675ea590511672f051d38da
MC_replay: Ensure that times_considered is always set

+ small cosmetics while reading again that code
src/kernel/actor/SynchroObserver.hpp
src/mc/mc_base.cpp
src/mc/mc_record.cpp