build/
installed/
bc/
klee-*
*.log
