2 add_executable (centralized centralized_mutex.c)
3 target_link_libraries(centralized simgrid)
4 add_executable (bugged1 bugged1.c)
5 target_link_libraries(bugged1 simgrid)
6 add_executable (bugged2 bugged2.c)
7 target_link_libraries(bugged2 simgrid)
8 add_executable (bugged3 bugged3.c)
9 target_link_libraries(bugged3 simgrid)
10 add_executable (electric_fence electric_fence.c)
11 target_link_libraries(electric_fence simgrid)
12 add_executable (bugged1_liveness bugged1_liveness.c)
13 target_link_libraries(bugged1_liveness simgrid)
14 add_executable (bugged2_liveness bugged2_liveness.c)
15 target_link_libraries(bugged2_liveness simgrid)
17 if(HAVE_C_STACK_CLEANER)
18 add_executable (bugged1_liveness_cleaner_on bugged1_liveness.c)
19 target_link_libraries(bugged1_liveness_cleaner_on simgrid)
20 set_target_properties(bugged1_liveness_cleaner_on PROPERTIES COMPILE_FLAGS "-DGARBAGE_STACK -fstack-cleaner")
22 add_executable (bugged1_liveness_cleaner_off bugged1_liveness.c)
23 target_link_libraries(bugged1_liveness_cleaner_off simgrid)
24 set_target_properties(bugged1_liveness_cleaner_off PROPERTIES COMPILE_FLAGS "-DGARBAGE_STACK -fno-stack-cleaner")
30 ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh
31 ${CMAKE_CURRENT_SOURCE_DIR}/bugged2.tesh
32 ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.tesh
33 ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_visited.tesh
34 ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_sparse.tesh
35 ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_visited_sparse.tesh
36 ${CMAKE_CURRENT_SOURCE_DIR}/centralized.tesh
40 ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1_liveness.xml
41 ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1_liveness_visited.xml
42 ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1.xml
43 ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged2_liveness.xml
44 ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged2.xml
45 ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged3.xml
46 ${CMAKE_CURRENT_SOURCE_DIR}/deploy_electric_fence.xml
47 ${CMAKE_CURRENT_SOURCE_DIR}/deploy_mutex.xml
48 ${CMAKE_CURRENT_SOURCE_DIR}/platform.xml
52 ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.c
53 ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.c
54 ${CMAKE_CURRENT_SOURCE_DIR}/bugged2.c
55 ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.c
56 ${CMAKE_CURRENT_SOURCE_DIR}/bugged3.c
57 ${CMAKE_CURRENT_SOURCE_DIR}/electric_fence.c
58 ${CMAKE_CURRENT_SOURCE_DIR}/centralized_mutex.c
59 ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.h
60 ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.h
64 ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged1_liveness
65 ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness
66 ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_stack_cleaner