-
- if(HAVE_C_STACK_CLEANER)
- add_executable (s4u-mc-bugged1-liveness-cleaner-on EXCLUDE_FROM_ALL s4u-mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp)
- target_link_libraries(s4u-mc-bugged1-liveness-cleaner-on simgrid)
- set_target_properties(s4u-mc-bugged1-liveness-cleaner-on PROPERTIES COMPILE_FLAGS "-DGARBAGE_STACK -fstack-cleaner")
- add_dependencies(tests-mc s4u-mc-bugged1-liveness-cleaner-on)
-
- add_executable (s4u-mc-bugged1-liveness-cleaner-off EXCLUDE_FROM_ALL s4u-mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp)
- target_link_libraries(s4u-mc-bugged1-liveness-cleaner-off simgrid)
- set_target_properties(s4u-mc-bugged1-liveness-cleaner-off PROPERTIES COMPILE_FLAGS "-DGARBAGE_STACK -fno-stack-cleaner")
- add_dependencies(tests-mc s4u-mc-bugged1-liveness-cleaner-off)
- endif()
-
- # Model-checking liveness
- if(HAVE_UCONTEXT_CONTEXTS AND SIMGRID_PROCESSOR_x86_64)
- # liveness model-checking works only on 64bits (for now ...)
- set(_mc-bugged1-liveness_factories "ucontext") # Timeout
- add_dependencies(tests-mc s4u-mc-bugged1-liveness)
- set(_mc-bugged2-liveness_factories "ucontext") # Timeout
- else()
- set(_mc-bugged1-liveness_disable 1)
- endif()