/test/ctest/scripts/
../
run_generated_test.cmake
run_header_compiles.cmake
run_promela_test.cmake