Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: tell the user about how to use the replay path in case of problem
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 1 Nov 2022 21:16:35 +0000 (22:16 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 1 Nov 2022 21:16:35 +0000 (22:16 +0100)
commitb2ec476dd5313063d2f6b15d7ef4a16077e46355
tree0f15d6afa7ace3d9d74f8fa2cfd19e12f2ff7dae
parent554f811247c5f16880e2edb58c39003cc74da677
MC: tell the user about how to use the replay path in case of problem
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/smpi/mc/sendsend.tesh
examples/sthread/pthread-mc-mutex-simpledeadlock.tesh
src/mc/ModelChecker.cpp
src/mc/api/RemoteApp.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
teshsuite/mc/random-bug/random-bug.tesh