Release/ Release+Asserts/ Debug/ Debug+Asserts/ Output/ cscope.* *~ *.log *.sum *.out *.status # In source build files docs/doxygen.cfg include/klee/Config/CompileTimeInfo.h *.config config.h site.exp # Site file for llvm-lit lit.site.cfg # Autoconf files autoconf/aclocal.m4 autoconf/autom4te.cache/ autom4te.cache/