Hi Salim, > Sorry for the interruption. My mistake.. The build problem you reported seems to be the same, or similar to a problem reported by other people: http://llvm.org/bugs/show_bug.cgi?id=7128 What was the fix?
> 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) This is not an error. It's a warning saying that printf() is being called as an external function. This happens even when you enable uclibc support in KLEE because our version of uclibc currently has printf commented out. Best, Cristian > ......... > > Thanks, > > ~ Salim.
