Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move the dot_output global into ModelChecker
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Aug 2022 22:13:53 +0000 (00:13 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Aug 2022 22:13:53 +0000 (00:13 +0200)
commit18f3ec7b57418d4881c22646dfbb991ac6f9b7a7
treed048b75ef88473d6d34e9f921d852fe595b7078e
parent6b9e565aa02922f38f81c9c48c4161962170a241
Move the dot_output global into ModelChecker
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/VisitedState.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/Exploration.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/mc_global.cpp
src/mc/mc_private.hpp