Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make the RemoteApp a field of the Exploration, and sanitize initialization
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Aug 2022 21:12:52 +0000 (23:12 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Aug 2022 21:18:27 +0000 (23:18 +0200)
commit6b9e565aa02922f38f81c9c48c4161962170a241
treebeb5eff29ea964766c9681bc595027d0eadad87a
parent82195accc91a7708f2545d91a74c1762852d4075
Make the RemoteApp a field of the Exploration, and sanitize initialization
12 files changed:
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/explo/CommunicationDeterminismChecker.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp
src/mc/explo/Exploration.cpp
src/mc/explo/Exploration.hpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/LivenessChecker.hpp
src/mc/explo/UdporChecker.cpp
src/mc/explo/UdporChecker.hpp
src/mc/explo/simgrid_mc.cpp