Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move the checker_side_ from the ModelChecker to the RemoteApp
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 18 Mar 2023 10:58:55 +0000 (11:58 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 18 Mar 2023 10:59:00 +0000 (11:59 +0100)
commit809ceedc3c7d57329e88aed7275af1eb205e1d52
treeedf212660fc40644ba5e0afc68734cdef4c81ef0
parentef93ada6480099151585ece90d8f4aaf0be41cd5
Move the checker_side_ from the ModelChecker to the RemoteApp

with an axe.
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/CheckerSide.hpp
src/mc/sosp/Snapshot_test.cpp