Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Implement TestAnyTransition
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 12 Feb 2022 22:29:21 +0000 (23:29 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 12 Feb 2022 22:29:21 +0000 (23:29 +0100)
commit58d10d21cf180c6e61e89cf766d7b370ba4edc47
tree6071306e891eeb8a67f809df244ef6c7fdd617ca
parent4118c5ef84abd079c5b785e9e72bb5a1a9ac129d
Implement TestAnyTransition
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp
src/mc/ModelChecker.cpp
src/mc/api/Transition.hpp
src/mc/api/TransitionComm.cpp
src/mc/api/TransitionComm.hpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_base.cpp