Added klee with LLVM3.4 configuration