Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
And now cleanup the App-side of cruft that was needed for Checker to read actor infor...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 30 Jul 2022 22:05:25 +0000 (00:05 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 30 Jul 2022 22:19:54 +0000 (00:19 +0200)
commit14dfe30555fbd9ca939cd9b8e256e2a25dc54c3d
treeec44e17de5436d5bf374788d9efaa77525f3e6c3
parentbb1c2f879c11304682a40b3eaea20bbfe911cddf
And now cleanup the App-side of cruft that was needed for Checker to read actor informations
12 files changed:
src/kernel/EngineImpl.cpp
src/kernel/EngineImpl.hpp
src/mc/ModelChecker.cpp
src/mc/mc_base.cpp
src/mc/remote/AppSide.cpp
src/mc/remote/AppSide.hpp
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