Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: move a check_deadlock from ModelChecker to Session, and kill cruft in mc::api
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 19 Feb 2022 23:34:50 +0000 (00:34 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 19 Feb 2022 23:34:50 +0000 (00:34 +0100)
commit02403e880dba3b06f5ac57751f0744475ef77c37
treebb03b44a2b0b06970ff7919b4ed9625c6bc34356
parente920a5835d1d64051bb56c25d5ed9f3e0665c0fa
MC: move a check_deadlock from ModelChecker to Session, and kill cruft in mc::api
examples/smpi/mc/sendsend.tesh
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/Session.cpp
src/mc/Session.hpp
src/mc/VisitedState.cpp
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp