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

[Chris Hobbs]

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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed