Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Improve the final stats reported by SafetyChecker, and revalidate tesh files
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 12 Feb 2022 10:17:46 +0000 (11:17 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 12 Feb 2022 10:17:46 +0000 (11:17 +0100)
commiteb6d2036ae2c22f06f32bf4aba3e165a0d110fbe
treebe6bbbdaaf9497ed59d7f8379ce6fe53d32a0c96
parentaa576b45d018550ef50e0bfe44b2be657cb87d6f
Improve the final stats reported by SafetyChecker, and revalidate tesh files
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/sendsend.tesh
src/mc/checker/SafetyChecker.cpp
src/mc/checker/SafetyChecker.hpp
teshsuite/mc/random-bug/random-bug.tesh
teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh