Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make sure that we never have a 0 transition at the end of the stack
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 15 Apr 2023 22:38:08 +0000 (00:38 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 15 Apr 2023 22:38:08 +0000 (00:38 +0200)
commit585a65d8e2c5bed10f20cd84c5c1cb59ef6adc8a
treefb367909d8b030b75af358a7ba0a4dfd092c3108
parent63498fb1f72377f1dd9619b0f341d02362d5f138
Make sure that we never have a 0 transition at the end of the stack
examples/cpp/synchro-barrier/s4u-mc-synchro-barrier.tesh
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh
examples/smpi/mc/sendsend.tesh
examples/sthread/pthread-mc-mutex-simpledeadlock.tesh
src/mc/api/RemoteApp.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/mc_record.cpp