[klee-dev] About klee error while compiling

[Peidong Chen]

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);
}
-------------- next part --------------
HTML attachment scrubbed and removed