Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add copy constructor to state, so we can backtrack different ways
authormlaurent <mathieu.laurent@ens-rennes.fr>
Fri, 24 Mar 2023 15:23:47 +0000 (16:23 +0100)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Fri, 24 Mar 2023 15:23:47 +0000 (16:23 +0100)
commit49b1775ffd75205366df2d854e5640bb9f61a5fe
tree22634fcd3bc58a26029ccea834f6178b53252090
parent30382b06d3320a281f1556546e3b0a8112bd055a
Add copy constructor to state, so we can backtrack different ways
16 files changed:
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.tesh
examples/cpp/synchro-semaphore/s4u-mc-synchro-semaphore.tesh
examples/smpi/mc/only_send_deterministic.tesh
examples/sthread/pthread-mc-mutex-simple.tesh
examples/sthread/pthread-mc-mutex-simpledeadlock.tesh
examples/sthread/pthread-mc-producer-consumer.tesh
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/transition/Transition.cpp