Hi, I want to compile gnu utility 'find' to get an executed *.bc file, so I use the following commands:
./configure CC=/path/to/klee-gcc LD=/path/to/llvm-ld make make install However, at the end I did not get any *.bc file, and the generated file 'find' is said to "Invalid bitcode signature",but I can use the similar configure command to compile bosybox successfully. where is the error, and what should I do? Thank you all. Yi Zhou Institute Of Software Chinese Academy of Sciences
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
