Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Change opened states for a priority queue
authormlaurent <mathieu.laurent@ens-rennes.fr>
Tue, 28 Mar 2023 11:55:17 +0000 (13:55 +0200)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Tue, 28 Mar 2023 11:55:17 +0000 (13:55 +0200)
commit1c27bfd8bf760d9b7f8220f17025acaf0da83cd2
tree706cc7cda50ece40c929d7e7875e0715948be0fa
parent788fd4a0324f3ef5aa40f37eb6e4c8c5accd1164
Change opened states for a priority queue
18 files changed:
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/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/smpi/mc/sendsend.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.hpp
src/mc/api/guide/GuidedState.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp
src/mc/mc_config.cpp
teshsuite/mc/random-bug/random-bug.tesh
teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh