/tools/klee/
../
CMakeLists.txt
main.cpp