You're missing several things * The -emit-llvm command line argument to clang (the most important thing here, you're not trying to build a native binary here) * -I/path/to/klee_source/include command line argument to clang
to clang and in your source a #include "klee/klee.h" _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev