Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-check/sleep-set is now true by default
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 22 Jun 2023 00:01:18 +0000 (02:01 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 22 Jun 2023 00:12:29 +0000 (02:12 +0200)
commit7fbc27ac17b945020f833bc1cf59d1cd0ac6c632
tree3ff22ca2f1df20f2ff29bd59ee567e53b4bed27b
parentbb05f13298b30374ddbe15118f7a3aaa1a233eee
model-check/sleep-set is now true by default
16 files changed:
examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness-visited.tesh
examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh
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-nodpor.tesh
examples/cpp/mc-failing-assert/s4u-mc-failing-assert.tesh
examples/cpp/synchro-barrier/s4u-mc-synchro-barrier.tesh
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex-stateful.tesh
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh
examples/cpp/synchro-semaphore/s4u-mc-synchro-semaphore.tesh
examples/sthread/pthread-mc-mutex-simple.tesh
examples/sthread/pthread-mc-mutex-simpledeadlock.tesh
examples/sthread/stdobject/stdobject.tesh
src/mc/mc_config.cpp
teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh