Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix the liveness tests by ignoring the Comm ID memory that breaks the state equality...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 15 Jun 2023 18:49:47 +0000 (20:49 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 15 Jun 2023 18:58:18 +0000 (20:58 +0200)
commitc7827e5b1b4c8c883b0a58155b030743ea8f4d79
treee119c3f3746cfc344754dcb2795390cee431bf84
parent17cb28295300bc5ede61ca79b5e55a86d70cd4a2
Fix the liveness tests by ignoring the Comm ID memory that breaks the state equality detection
include/simgrid/modelchecker.h
src/kernel/activity/CommImpl.cpp
src/kernel/activity/CommImpl.hpp
src/mc/mc_client_api.cpp
src/mc/remote/AppSide.cpp
src/mc/remote/AppSide.hpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/mc_protocol.h
src/mc/sosp/RemoteProcessMemory.cpp
src/mc/sosp/RemoteProcessMemory.hpp