Hi all, I'm trying to set up klee with llvm 3.4 following the step by step guide. Everything looks good apart the last step. When I execute lit -v . I have this error: Klee-uclibc.bca failed: invalid record loading module failed: Invalid record
Can someone help me to fix it please? Thanks, Alberto
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
