Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: after all, checker does not need the list of dead actors
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 27 Feb 2022 21:25:07 +0000 (22:25 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 27 Feb 2022 21:32:51 +0000 (22:32 +0100)
commitaa64bb0b015da853b7f904a9384cfa14cf42326f
tree6a4f9275c792ba04570eb744cfee6abe09726ee2
parent80778e856b09b86fba1663275ffc8bc320dea9ce
MC: after all, checker does not need the list of dead actors

Also kill some other unused code in MC
12 files changed:
src/kernel/EngineImpl.cpp
src/kernel/EngineImpl.hpp
src/kernel/actor/ActorImpl.cpp
src/mc/ModelChecker.cpp
src/mc/mc_smx.cpp
src/mc/remote/AppSide.cpp
src/mc/remote/RemoteProcess.cpp
src/mc/remote/RemoteProcess.hpp
src/mc/remote/mc_protocol.h
src/mc/sosp/Snapshot_test.cpp
teshsuite/mc/dwarf-expression/dwarf-expression.cpp
teshsuite/mc/dwarf/dwarf.cpp