Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Another use of mc_model_checker disapears. In Snapshot.equals.
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 09:10:34 +0000 (10:10 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 09:29:50 +0000 (10:29 +0100)
commit8b8f538a38613e833acaf7366f7dcf84526f23a2
treebe10deee5a0c87d08c3d3a06b8cbc5cf4a265fdb
parent32b33834115ef974885e0227b9f47a1e756ee04c
Another use of mc_model_checker disapears. In Snapshot.equals.

I guess that this could be done in a better way, as noted in the
comment.
src/mc/VisitedState.cpp
src/mc/compare.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/sosp/Snapshot.hpp