target_link_libraries(bugged3 simgrid )
target_link_libraries(electric_fence simgrid )
target_link_libraries(bugged1_liveness simgrid )
- target_link_libraries(bugged2_liveness simgrid )
+ target_link_libraries(bugged2_liveness simgrid )
+
+ if(HAVE_C_STACK_CLEANER)
+ add_executable(bugged1_liveness_cleaner_on bugged1_liveness.c )
+ add_executable(bugged1_liveness_cleaner_off bugged1_liveness.c )
+
+ target_link_libraries(bugged1_liveness_cleaner_on simgrid )
+ target_link_libraries(bugged1_liveness_cleaner_off simgrid )
+
+ set_target_properties(bugged1_liveness_cleaner_on
+ PROPERTIES COMPILE_FLAGS "-DGARBAGE_STACK -fstack-cleaner")
+ set_target_properties(bugged1_liveness_cleaner_off
+ PROPERTIES COMPILE_FLAGS "-DGARBAGE_STACK -fno-stack-cleaner")
+ endif()
endif()
${CMAKE_CURRENT_SOURCE_DIR}/bugged2.tesh
${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.tesh
${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_visited.tesh
+ ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_sparse.tesh
+ ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_visited_sparse.tesh
${CMAKE_CURRENT_SOURCE_DIR}/centralized.tesh
PARENT_SCOPE
)
${bin_files}
${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged1_liveness
${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness
+ ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_stack_cleaner
PARENT_SCOPE
)
set(txt_files