Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
A few calls to mc_model_checker less by passing more parameters
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 17 Mar 2023 21:23:09 +0000 (22:23 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 17 Mar 2023 21:43:13 +0000 (22:43 +0100)
commit239cd16f4e95031d3a106e487c1485726069f1d7
treeb4ccb81d0996916bfa721c9ac1d68afb415fc69a
parentb84ee33b90701d14bed35a4119b3a70827177dca
A few calls to mc_model_checker less by passing more parameters
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/UdporChecker.cpp