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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
