Hi,
I want to use "klee_assume" inside some of the applications (say "echo")
in coreutils.
For example I modified echo.c with following lines..
#include <klee/klee.h>
..
..
klee_assume(some_var == some_value);
..
..
I get a linker error when trying to compile modified coreutils using wllvm.
undefined reference to `klee_assume'
clang: error: linker command failed with exit code 1 (use -v to see
invocation)
is there a workaround to solve this problem?
Thanks,
Charitha
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev