AK,
We'll need a little more information.
Are you using --posix-runtime? What compilation and klee commands did
you use?
Chris Hobbs
QNX Software Systems
On 13-03-26 03:10 PM, General Email wrote:
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
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev