Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "Revalidate tesh files now that safety checking is based on reforks"
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 26 Mar 2023 20:01:11 +0000 (22:01 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 26 Mar 2023 20:03:02 +0000 (22:03 +0200)
commitb5eaeacc40115ac608a84b9176d6b5f1876ec7f5
treeea22e35222ef786c6640a95ecd78d490868f6854
parent754db84445c812d3480832460e90a112b77648d0
Revert "Revalidate tesh files now that safety checking is based on reforks"

We can revert this, as we don't re-initialize again and again the
application in refork mode. Instead, we fork a pre-initialized app.

This reverts commit b2a9ee8e090af818cca9e72cd0e44fa1b91586b0.
examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh
examples/sthread/pthread-mc-mutex-simple.tesh
examples/sthread/pthread-mc-mutex-simpledeadlock.tesh
examples/sthread/pthread-mc-producer-consumer.tesh
teshsuite/mc/random-bug/random-bug.tesh
teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh