/.travis/

• ../
• install-llvm-and-runtime-compiler.sh
• install-tcmalloc.sh
• klee.sh
• metaSMT.sh
• solvers.sh
• stp.sh
• testing-utils.sh