Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename model_checker->get_remote_simulation() into model_checker->get_remote_process()
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 00:00:05 +0000 (01:00 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 00:00:05 +0000 (01:00 +0100)
commitc7ef2b0424fb2c96b9d49f50dc225767e65a27de
tree65bb7afeff9cfd025907bb2eaed95259afb9508f
parentc625987dc6cec4a0d4c7e1c05aba5cffcf977d1a
Rename model_checker->get_remote_simulation() into model_checker->get_remote_process()
src/mc/AddressSpace.hpp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/Session.cpp
src/mc/api.cpp
src/mc/compare.cpp
src/mc/mc_request.cpp
src/mc/sosp/Region.cpp
src/mc/sosp/Snapshot.cpp
src/mc/sosp/Snapshot.hpp