Hello, I installed llvm-3.4 following the instructions in http://klee.github.io/experimental/ . And I followed the instructions in tutorial. The error is $clang-3.4 get_sign.c
/tmp/get_sign-2a1cd5.o: In function `main': get_sign.c:(.text+0x78): undefined reference to `klee_make_symbolic' clang: error: linker command failed with exit code 1 This is get_sign.c int get_sign(int x) { if (x == 0) return 0; if (x < 0) return -1; else return 1; } int main() { int a; klee_make_symbolic(&a, sizeof(a), "a"); return get_sign(a); }
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev