Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename ActorState::consider() and State::add_interleaved_set() as {ActorState,State...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 28 Feb 2021 20:32:27 +0000 (21:32 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 28 Feb 2021 22:08:26 +0000 (23:08 +0100)
commit7dc2c17f1e4a76b7fc5be51a4cad40354ebeaf2e
treef465074aab17b996c420b89e2b985e7068997b67
parent36db77dab1674ceb188fa82cf1ee742bf7a56666
Rename ActorState::consider() and State::add_interleaved_set() as {ActorState,State}::mark_todo()
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_pattern.hpp
src/mc/mc_state.cpp
src/mc/mc_state.hpp