Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix the refork feature by not ptracing App so that it dies properly
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 24 Mar 2023 21:06:04 +0000 (22:06 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 24 Mar 2023 21:06:57 +0000 (22:06 +0100)
commit9d195a1f6e6006762e394ab69955d0824bbfe2d8
tree4bf92a6b1de0c25c3d52a7452fa190371cf0c75e
parent81c53f23aecb28f64dba56b03f2ce6fe5aa1f7b7
Fix the refork feature by not ptracing App so that it dies properly
src/mc/explo/DFSExplorer.cpp
src/mc/remote/AppSide.cpp
src/mc/remote/CheckerSide.cpp