Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move the dot_output from ModelChecker to Exploration
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Mar 2023 22:48:01 +0000 (23:48 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Mar 2023 22:48:01 +0000 (23:48 +0100)
commita476c1fc22cde6f6b539e5fa1cbdafe4cd5e6aac
treed8e9abd50b904725e81003257e1c5050123dfecb
parentf97b3b1a9b57f92cdfaa887aa025f697dab985a4
Move the dot_output from ModelChecker to Exploration
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/Exploration.cpp
src/mc/explo/Exploration.hpp
src/mc/explo/LivenessChecker.cpp
src/mc/mc_config.cpp