endif()
endif()
- set(DART_TESTING_TIMEOUT "300") #TIMEOUT FOR EACH TEST
+if(NOT enable_memcheck)
+ set(DART_TESTING_TIMEOUT "500") #TIMEOUT FOR EACH TEST
+else()
+ set(DART_TESTING_TIMEOUT "3000") #TIMEOUT FOR EACH TEST
+endif()
if(enable_compile_warnings AND enable_compile_optimizations)
SET(BUILDNAME "FULL_FLAGS" CACHE INTERNAL "Buildname" FORCE)
endif()
-if(HAVE_MC)
+if(SIMGRID_HAVE_MC)
SET(BUILDNAME "MODEL-CHECKING" CACHE INTERNAL "Buildname" FORCE)
endif()
set(PATTERN_CTEST_IGNORED "")
if(enable_coverage)
- set(PATTERN_CTEST_IGNORED
+ set(PATTERN_CTEST_IGNORED
"/tools/"
"/buildtools/"
"/include/"
"/src/bindings/"
)
if(NOT release)
- set(PATTERN_CTEST_IGNORED
+ set(PATTERN_CTEST_IGNORED
${PATTERN_CTEST_IGNORED}
"/examples/"
)