Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Pass the remote app as a parameter to all exploration signals
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 4 Aug 2022 19:10:48 +0000 (21:10 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 4 Aug 2022 19:10:54 +0000 (21:10 +0200)
commit5b1ee8633a381a8704b7cb0b7c9c47d3e24d5f7a
treee8b9e26660aaa5fe2e372005b2e94060ecde236d
parent5788d5ea59ebca063519431c3858f6b406d26b91
Pass the remote app as a parameter to all exploration signals

When we'll have reforks in the future, the remote app may change
during the exploration, so we don't want to seal the current remote
app in the callback closure. We want to use the fresh one instead.
src/mc/explo/CommunicationDeterminismChecker.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp