Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Now handle random transition and multiple times transitions
authormlaurent <mathieu.laurent@ens-rennes.fr>
Mon, 27 Mar 2023 18:19:28 +0000 (20:19 +0200)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Mon, 27 Mar 2023 18:19:28 +0000 (20:19 +0200)
commit039f83ac2878e7ff0839a216474c8e493c98c068
tree6368ed824d903005d613de3eb53455d7e438e5bf
parent6a908b79ea45f85f305620c09375b72483b7eee9
Now handle random transition and multiple times transitions
12 files changed:
examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
examples/cpp/mc-electric-fence/s4u-mc-electric-fence.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-producer-consumer.tesh
src/mc/api/ActorState.hpp
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp
teshsuite/mc/random-bug/random-bug.tesh