Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Improve the debug messages
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 7 Nov 2023 22:16:42 +0000 (23:16 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 7 Nov 2023 22:16:42 +0000 (23:16 +0100)
commit14bddad6ad3fcf94b0bcdeb69ef68350efb5b213
tree6270e6225903d05b25acf563e3c60d8ac8f64b6e
parent49c6310e26e0a6c7d9a0d059340913d6d3c0a880
Improve the debug messages
examples/cpp/synchro-barrier/s4u-mc-synchro-barrier.tesh
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh
src/kernel/actor/ActorImpl.cpp
src/mc/explo/DFSExplorer.cpp