Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Better handling of test any
authormlaurent <mathieu.laurent@ens-rennes.fr>
Mon, 3 Apr 2023 12:12:56 +0000 (14:12 +0200)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Mon, 3 Apr 2023 12:12:56 +0000 (14:12 +0200)
commitd8fba529aba8e352c57974ff6b111808d087d3a0
tree303287a6f47e6742df7eced01bdadce075c18c15
parent79f5715c0a10bc16b68dc7d686d716c647dbf6ed
Better handling of test any
src/mc/api/State.hpp
src/mc/api/strategy/BasicStrategy.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/transition/TransitionAny.cpp
src/mc/transition/TransitionAny.hpp