Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revalidate tesh files now that safety checking is based on reforks
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 24 Mar 2023 21:06:47 +0000 (22:06 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 24 Mar 2023 21:06:57 +0000 (22:06 +0100)
commitb2a9ee8e090af818cca9e72cd0e44fa1b91586b0
tree69da4031de9e86495f56ecad3aa05bd9141cfbc6
parent9d195a1f6e6006762e394ab69955d0824bbfe2d8
Revalidate tesh files now that safety checking is based on reforks
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