Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move handle_waitpid from ModelChecker to RemoteProcessMemory
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 12:54:23 +0000 (13:54 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 13:04:21 +0000 (14:04 +0100)
commitce2d9960deb26e9c6216164a37f7c3d2382035c4
tree5b463cae9d2259ecac168ac9e3a76215b5bccdce
parent46f34f3267630e5f6b0e01509626ff06c18d2015
Move handle_waitpid 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