> It seems that the function name brings confusion to klee, is that right?
Not klee, llvm. There is a "-simplify-libcalls" pass that turns well-known libc functions into equivalent llvm asm sequences. Check ./klee-last/assembly.ll to see if it looks reasonable. Peter,
