Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revalidate all SafetyChecker tesh now that the output changed
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 22:49:02 +0000 (23:49 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 22:49:02 +0000 (23:49 +0100)
commit5893c19532da2f5789d464899785c1c68e8646b4
tree8b2e3d322bd1e0ec44de1a24fb88058ddb9de86f
parent97e5210852e84ebe84d8344987fa1b92b1d369fa
Revalidate all SafetyChecker tesh now that the output changed
examples/cpp/mc-bugged1/s4u-mc-bugged1.tesh
examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
examples/cpp/mc-failing-assert/s4u-mc-failing-assert.tesh
examples/smpi/mc/only_send_deterministic.tesh
examples/smpi/mc/sendsend.tesh
src/mc/checker/SafetyChecker.cpp
teshsuite/mc/random-bug/random-bug-nocrash.tesh
teshsuite/mc/random-bug/random-bug.tesh
teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh