Hi, I use klee-cde-package now, when I use klee.cde to symbolically execute a .o file, I get the following error, what's wrong?
/islower$ ../../../../../../bin/klee.cde islower.o klee: BitcodeReader.cpp:795: bool llvm::BitcodeReader::ParseMetadata(): Assertion `0 && "Inavlid Named Metadata record"' failed. 0 klee 0x08965ab8 +++ killed by SIGABRT (core dumped) +++ Aborted (core dumped)
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
