Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move handle_message from ModelChecker to RemoteProcessMemory
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 13:29:05 +0000 (14:29 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 13:34:34 +0000 (14:34 +0100)
commit1f7ae620b5e74e6d7b364807ef04b6c869f7d744
treedf1d3790580a7407d20e1ab4087a9529c18c9432
parentce2d9960deb26e9c6216164a37f7c3d2382035c4
Move handle_message from ModelChecker to RemoteProcessMemory
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/remote/CheckerSide.cpp
src/mc/sosp/RemoteProcessMemory.cpp
src/mc/sosp/RemoteProcessMemory.hpp