Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Define and use VALGRIND_NO_TRACE_CHILDREN for simgrid-mc tests.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 7 Apr 2023 16:52:53 +0000 (18:52 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 7 Apr 2023 16:52:53 +0000 (18:52 +0200)
commita92692ad9a04c9ba32f4b0448f025ac504855fe4
tree3348295362b5ff36d3108883390a09f096a5a5a1
parentd13c5de89c712b96b7a8ad03a685b77296cb0553
Define and use VALGRIND_NO_TRACE_CHILDREN for simgrid-mc tests.

There are two benefits. First, memory leaks are checked for the simgrid-mc process,
and then the tests run faster.

[ci-skip]
20 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/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
tools/cmake/Tests.cmake