${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh
${CMAKE_CURRENT_SOURCE_DIR}/bugged2.tesh
${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.tesh
${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh
${CMAKE_CURRENT_SOURCE_DIR}/bugged2.tesh
${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.tesh