Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix the done marking of multiple times taken transitions
authormlaurent <mathieu.laurent@ens-rennes.fr>
Fri, 24 Feb 2023 13:46:46 +0000 (14:46 +0100)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Fri, 24 Feb 2023 13:46:46 +0000 (14:46 +0100)
commit13f8c10bd72f90cb6f70e9a03ce37dcbf6e01226
treec2df87b132d283fa3d38df568d8936f8c8979f04
parent6e80e277a2e65be7caefd0e04e4954c4fc26c2d8
fix the done marking of multiple times taken transitions
src/mc/explo/DFSExplorer.cpp