Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
adding option for sleep set
authormlaurent <mathieu.laurent@ens-rennes.fr>
Tue, 14 Feb 2023 15:34:02 +0000 (16:34 +0100)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Tue, 14 Feb 2023 15:34:02 +0000 (16:34 +0100)
commitd0d7c4f8a7587bb46decfba7246deceafadbaf5d
treee29867523744ccff31f4d8e1a3610b52155dcab8
parent417ed3b671abe3a71fa4106d23d0a432084cc207
adding option for sleep set
src/mc/explo/DFSExplorer.cpp
src/mc/mc_config.cpp
src/mc/mc_config.hpp