-set(tesh_files
- ${tesh_files}
- ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh
- ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.tesh
- ${CMAKE_CURRENT_SOURCE_DIR}/centralized.tesh
- ${CMAKE_CURRENT_SOURCE_DIR}/chord/chord_neverjoin.tesh
- ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison1.tesh
- ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison2.tesh
- ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison3.tesh
- ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison4.tesh
- ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison5.tesh
- PARENT_SCOPE
- )
-set(xml_files
- ${xml_files}
- ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1_liveness.xml
- ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1.xml
- ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged2_liveness.xml
- ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged2.xml
- ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged3.xml
- ${CMAKE_CURRENT_SOURCE_DIR}/deploy_electric_fence.xml
- ${CMAKE_CURRENT_SOURCE_DIR}/deploy_mutex.xml
- ${CMAKE_CURRENT_SOURCE_DIR}/platform.xml
- ${CMAKE_CURRENT_SOURCE_DIR}/chord/deploy_chord_liveness.xml
- ${CMAKE_CURRENT_SOURCE_DIR}/test/deploy_snapshot_comparison.xml
- ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison_platform.xml
- PARENT_SCOPE
- )
-set(examples_src
- ${examples_src}
- ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.c
- ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.c
- ${CMAKE_CURRENT_SOURCE_DIR}/bugged2.c
- ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.c
- ${CMAKE_CURRENT_SOURCE_DIR}/bugged3.c
- ${CMAKE_CURRENT_SOURCE_DIR}/electric_fence.c
- ${CMAKE_CURRENT_SOURCE_DIR}/centralized_mutex.c
- ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.h
- ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.h
- ${CMAKE_CURRENT_SOURCE_DIR}/chord/chord_liveness.c
- ${CMAKE_CURRENT_SOURCE_DIR}/chord/chord_liveness.h
- ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison1.c
- ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison2.c
- ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison3.c
- ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison4.c
- ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison5.c
- PARENT_SCOPE
- )
-set(bin_files
- ${bin_files}
- ${CMAKE_CURRENT_SOURCE_DIR}/parse_dwarf
- ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged1_liveness
- ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness
- ${CMAKE_CURRENT_SOURCE_DIR}/chord/promela_chord_liveness
- ${CMAKE_CURRENT_SOURCE_DIR}/test/promela
- PARENT_SCOPE
- )
-set(txt_files
- ${txt_files}
- PARENT_SCOPE
- )
+set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh
+ ${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_mutex.tesh PARENT_SCOPE)
+set(xml_files ${xml_files} ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1_liveness_visited.xml
+ ${CMAKE_CURRENT_SOURCE_DIR}/platform.xml PARENT_SCOPE)
+set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.h
+ ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.h PARENT_SCOPE)
+set(bin_files ${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)