-foreach(example actor-create actor-daemon actor-join actor-kill
- actor-lifetime actor-migrate actor-suspend actor-yield
- app-bittorrent app-chainsend app-masterworkers app-pingpong app-token-ring
- async-ready async-wait async-waitall async-waitany async-waituntil
- cloud-capping cloud-migration cloud-simple
- dht-chord dht-kademlia
- energy-exec energy-boot energy-link energy-vm
- engine-filtering
- exec-async exec-basic exec-dvfs exec-monitor exec-ptask exec-remote
- platform-properties plugin-hostload # FIXME: platform-failures is disabled
- io-async io-file-system io-file-remote io-storage-raw
- replay-comm replay-storage
- routing-get-clusters
- synchro-barrier synchro-mutex synchro-semaphore
- )
- ADD_TESH_FACTORIES(s4u-${example} "thread;ucontext;raw;boost"
- --setenv bindir=${CMAKE_CURRENT_BINARY_DIR}/${example}
- --setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms
- --cd ${CMAKE_CURRENT_SOURCE_DIR}/${example}
- ${CMAKE_HOME_DIRECTORY}/examples/s4u/${example}/s4u-${example}.tesh)
-endforeach()
-
-foreach (example trace-platform)
- ADD_TESH(s4u-${example} --setenv bindir=${CMAKE_CURRENT_BINARY_DIR}/${example}
- --setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms
- ${CMAKE_HOME_DIRECTORY}/examples/s4u/${example}/s4u-${example}.tesh)
-endforeach()
-
-if (NOT enable_memcheck AND NOT WIN32)
- ADD_TESH(simix-breakpoint --setenv bindir=${CMAKE_CURRENT_BINARY_DIR}/app-pingpong
- --setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms
- ${CMAKE_CURRENT_SOURCE_DIR}/app-pingpong/simix-breakpoint.tesh)
-endif()