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