Hi Klee-Dev, I am new to Klee but I think that I found a way around the problem mentioned in this:
http://mailman.ic.ac.uk/pipermail/klee-dev/2013-September/000335.html thread. (I am also new to mailing lists so I was not sure how to reply to the thread above directly). I was receiving the following error: KLEE: ERROR: path/to/input/file.c:line_number: failed external call: function_name while attempting to use Klee on a project with multiple .c files. To solve this problem, I did the following: llvm-gcc -I /path/to/klee/include --emit-llvm -c -g filename1.c llvm-gcc -I /path/to/klee/include --emit-llvm -c -g filename2.c llvm-link -v -o filename3.o filename1.o filename2.o After using llvm-link I no longer get the failed external call error above. I hope that helps! Best, Zach -- -- -- Harvard '15 PRIMO Fellow Degree Candidate: Computer Science Cell: 773-317-9077
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev