-set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced.tesh
- ${CMAKE_CURRENT_SOURCE_DIR}/replay/smpi_replay.tesh PARENT_SCOPE)
-set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/mvmul.c
- ${CMAKE_CURRENT_SOURCE_DIR}/bcbench.c
- ${CMAKE_CURRENT_SOURCE_DIR}/replay/replay.c
- ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced.c
- ${CMAKE_CURRENT_SOURCE_DIR}/tracing/smpi_traced_simple.c PARENT_SCOPE)
+foreach(x ampi_test replay)
+ set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/${x}/${x}.cpp)
+endforeach()
+foreach(x trace trace_simple trace_call_location energy)
+ set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/${x}/${x}.c)
+endforeach()
+foreach(x bugged1 bugged2 bugged1_liveness only_send_deterministic mutual_exclusion non_termination1
+ non_termination2 non_termination3 non_termination4)
+ set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/mc/${x}.c)
+endforeach()
+
+set(examples_src ${examples_src} PARENT_SCOPE)
+set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/energy/energy.tesh
+ ${CMAKE_CURRENT_SOURCE_DIR}/trace/trace.tesh
+ ${CMAKE_CURRENT_SOURCE_DIR}/trace_simple/trace_simple.tesh
+ ${CMAKE_CURRENT_SOURCE_DIR}/trace_call_location/trace_call_location.tesh
+ ${CMAKE_CURRENT_SOURCE_DIR}/ampi_test/ampi_test.tesh
+ ${CMAKE_CURRENT_SOURCE_DIR}/replay/replay-override-replayer.tesh
+ ${CMAKE_CURRENT_SOURCE_DIR}/replay/replay.tesh PARENT_SCOPE)