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
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