Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
One reference to the global singleton mc_model_checker that I'd like to kill
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Mar 2023 22:31:04 +0000 (23:31 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Mar 2023 22:31:04 +0000 (23:31 +0100)
commitf97b3b1a9b57f92cdfaa887aa025f697dab985a4
treec7835be39a58b094725ba3669b8555b106950183
parent2f4e620e5247fb5cef5adbbd5773151e1abacfcc
One reference to the global singleton mc_model_checker that I'd like to kill
src/mc/VisitedState.cpp
src/mc/VisitedState.hpp
src/mc/explo/DFSExplorer.cpp