src/mc/transition/TransitionSynchro.hpp
)
-set(MC_SRC
+set(MC_SRC_STATEFUL
src/mc/explo/CommunicationDeterminismChecker.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/LivenessChecker.hpp
set(simgrid_sources ${simgrid_sources} ${SMPI_SRC})
endif()
-if(SIMGRID_HAVE_MC)
- set(simgrid_sources ${simgrid_sources} ${MC_SRC})
+if(SIMGRID_HAVE_STATEFUL_MC)
+ set(simgrid_sources ${simgrid_sources} ${MC_SRC_STATEFUL})
endif()
if(SIMGRID_HAVE_NS3)