Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix non-MC builds when MC-only dependencies are missing
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 Mar 2023 22:21:16 +0000 (00:21 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 Mar 2023 22:21:16 +0000 (00:21 +0200)
commitd66e96ca98cc03b22059763fdab1146af5e5fadb
tree4d559fafe44e00f6c041ecc3e7a784f67fe155a5
parent7a1d9713c8dd8a96686f75acb428b2e4dcb08c1f
Fix non-MC builds when MC-only dependencies are missing
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp
src/mc/explo/Exploration.cpp
src/mc/remote/AppSide.cpp
src/mc/remote/CheckerSide.cpp
src/mc/transition/TransitionComm.cpp