[klee-dev] KLEE: ERROR: failed external call: itos

[General Email]

Hi,
I'm trying to explore how to use klee. When I run klee on a small program I got the following warning messages:
KLEE: WARNING: undefined reference to function: itos
KLEE: WARNING: undefined reference to function: printf
KLEE: WARNING: undefined reference to function: strcat

Also I got the following error message:
KLEE: ERROR: /test.c:19: failed external call: itos

Would you please advise?
Thanks
AK
-------------- next part --------------
HTML attachment scrubbed and removed