Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make sure that the dtor of CheckerSide actually kills the application and waits for it
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 21 Mar 2023 20:48:55 +0000 (21:48 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 21 Mar 2023 20:48:55 +0000 (21:48 +0100)
commit42f4e05d493d3556a557e645065f20c616a87b73
tree45b889c5b98ab0c594bfaac31d92fe0bc5d81a5d
parent3427c060e899b47c103c6981aa69afbb22378b24
Make sure that the dtor of CheckerSide actually kills the application and waits for it
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/explo/Exploration.cpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/CheckerSide.hpp