Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Show the user-level call in MC backtraces
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 29 Jun 2023 20:31:05 +0000 (22:31 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 29 Jun 2023 20:31:05 +0000 (22:31 +0200)
commita121f8b79e4e8a7104243fdc74e80f298dca4881
treed8e7dc0f4fe6532e297bcb6946a3d0c69efd5097
parentaa1f1dad959e78c1c5668a5c59023412568b913a
Show the user-level call in MC backtraces
12 files changed:
examples/cpp/mc-bugged1/s4u-mc-bugged1.tesh
examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
examples/cpp/mc-failing-assert/s4u-mc-failing-assert-nodpor.tesh
examples/cpp/mc-failing-assert/s4u-mc-failing-assert.tesh
examples/sthread/pthread-mc-mutex-simpledeadlock.tesh
examples/sthread/stdobject/stdobject.tesh
src/instr/instr_smpi.hpp
src/mc/explo/Exploration.cpp
src/mc/transition/Transition.hpp
src/mc/transition/TransitionComm.cpp
src/smpi/internals/smpi_replay.cpp
teshsuite/mc/random-bug/random-bug.tesh