Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add $VALGRIND_NO_LEAK_CHECK in tesh files when simgrid-mc is used.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 7 Apr 2023 14:49:36 +0000 (16:49 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 7 Apr 2023 14:49:36 +0000 (16:49 +0200)
commitd13c5de89c712b96b7a8ad03a685b77296cb0553
treed022893a8f5dd75213f4a29f3a574cc2649bff92
parent84ba4264666f080d75c89cc7b945688e08046fcc
Add $VALGRIND_NO_LEAK_CHECK in tesh files when simgrid-mc is used.

Too many memory leaks are detected in the MCed processes.
21 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-liveness/s4u-mc-bugged2-liveness.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-statequality.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.tesh
examples/cpp/synchro-semaphore/s4u-mc-synchro-semaphore.tesh
examples/smpi/mc/only_send_deterministic.tesh
examples/smpi/mc/sendsend.tesh
examples/sthread/pthread-mc-mutex-simple.tesh
examples/sthread/pthread-mc-mutex-simpledeadlock.tesh
examples/sthread/pthread-mc-producer-consumer.tesh
examples/sthread/stdobject/stdobject.tesh
teshsuite/mc/mutex-handling/mutex-handling.tesh
teshsuite/mc/mutex-handling/without-mutex-handling.tesh
teshsuite/mc/random-bug/random-bug.tesh