I was confused a little bit when I posted my error because the compilation errors looked like output from Clang. Despite specifying that the build should be done with llvm-gcc, some part of it was done with Clang. I rebuilt LLVM28 without Clang and that resolved my problems. _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
- [klee-dev] Compiling Klee with Posix Support David Fischer
- Re: [klee-dev] Compiling Klee with Posix Support David Fischer
