set_target_properties(s4u-mc-bugged1-liveness-cleaner-off PROPERTIES COMPILE_FLAGS "-DGARBAGE_STACK -fno-stack-cleaner")
add_dependencies(tests s4u-mc-bugged1-liveness-cleaner-off)
endif()
-
endif()
if(SIMGRID_HAVE_NS3)
network-wifi
io-async io-file-system io-file-remote io-disk-raw io-dependent
platform-failures platform-profile platform-properties
- plugin-hostload
+ plugin-host-load plugin-link-load
replay-comm replay-io
routing-get-clusters
- synchro-barrier synchro-condition-variable synchro-mutex synchro-semaphore)
+ synchro-barrier synchro-condition-variable synchro-condition-variable-waituntil synchro-mutex synchro-semaphore)
# Use default source file unless specified otherwise
if(NOT DEFINED _${example}_sources)
${CMAKE_CURRENT_SOURCE_DIR}/app-pingpong/simix-breakpoint.tesh)
endif()
+if(enable_coverage)
+ foreach (example mc-bugged1 mc-bugged2 mc-electric-fence mc-failing-assert)
+ if(NOT DEFINED _${example}_disable)
+ ADD_TEST(cover-${example} ${CMAKE_CURRENT_BINARY_DIR}/${example}/s4u-${example} ${CMAKE_HOME_DIRECTORY}/examples/platforms/model_checker_platform.xml)
+ endif()
+ endforeach()
+ if(SIMGRID_HAVE_MC)
+ ADD_TEST(cover-mc-bugged1-liveness ${CMAKE_CURRENT_BINARY_DIR}/mc-bugged1-liveness/s4u-mc-bugged1-liveness ${CMAKE_HOME_DIRECTORY}/examples/platforms/small_platform.xml 1 1001)
+ endif()
+endif()
+
# Add all extra files to the archive
####################################