${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}/mc/only_send_deterministic.tesh
${CMAKE_CURRENT_SOURCE_DIR}/mc/sendsend.tesh
${CMAKE_CURRENT_SOURCE_DIR}/replay/replay-override-replayer.tesh
${CMAKE_CURRENT_SOURCE_DIR}/replay/replay.tesh PARENT_SCOPE)