set(tesh_files
${tesh_files}
+ ${CMAKE_CURRENT_SOURCE_DIR}/random_bug.tesh
+ ${CMAKE_CURRENT_SOURCE_DIR}/random_bug_replay.tesh
PARENT_SCOPE
)
set(testsuite_src
${CMAKE_CURRENT_SOURCE_DIR}/random_bug.c
PARENT_SCOPE
)
+set(xml_files
+ ${xml_files}
+ ${CMAKE_CURRENT_SOURCE_DIR}/random_bug.xml
+ PARENT_SCOPE
+ )