1 add_executable (random_bug random_bug.c)
2 target_link_libraries(random_bug simgrid)
6 ${CMAKE_CURRENT_SOURCE_DIR}/random_bug.tesh
7 ${CMAKE_CURRENT_SOURCE_DIR}/random_bug_replay.tesh
11 ${CMAKE_CURRENT_SOURCE_DIR}/random_bug.c
15 ${CMAKE_CURRENT_SOURCE_DIR}/random_bug.xml