Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4249cbf) | patch
Give the remote_process_memory to the mc::State constructor
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 13 Mar 2023 09:07:07 +0000 (10:07 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 13 Mar 2023 09:07:12 +0000 (10:07 +0100)
commit08ea5baca6d0667d4f47ee1688d4b2f30e97ee31
tree804f2405913f17e4787ce9845b06d8089c824c92tree | snapshot
parent4249cbf34db972e00df34d98ec89cca899ac0a73commit | diff
Give the remote_process_memory to the mc::State constructor

This way, we rely a bit less on the ugly mc_model_checker singleton.
src/mc/VisitedState.cpp diff | blob | history
src/mc/api/RemoteApp.cpp diff | blob | history
src/mc/api/State.cpp diff | blob | history
src/mc/explo/DFSExplorer.cpp diff | blob | history
src/mc/explo/LivenessChecker.cpp diff | blob | history
src/mc/inspect/mc_unw.cpp diff | blob | history
src/mc/inspect/mc_unw.hpp diff | blob | history
src/mc/sosp/Snapshot.cpp diff | blob | history
src/mc/sosp/Snapshot.hpp diff | blob | history
Clone of SimGrid repository with local patches