Sorry for the interruption. My mistake.. Now, I am getting the following error, though using necessary header files. Even the sort.c example file is using printf function and reports the same error.
Do you know the way to fix that? ......... KLEE: WARNING: undefined reference to function: printf KLEE: WARNING: calling external: printf(172798904) ......... Thanks, ~ Salim. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100614/82cf873e/attachment.html
