[klee-dev] Concretizing internal variables in coreutils experiment

[Charitha Saumya]

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