Hi all, As llvm-ld is deprecated, we can't use klee-gcc when using latest version of LLVM. I came across a tool called Whole program LLVM <https://github.com/travitch/whole-program-llvm>, which seems great at building large programs to a single bitcode file.
After reading the source code of the tool for a while, I found that the tool links multiple bitcode files to a single one using llvm-link. But it doesn't perform whole program optimization. Does that affect the performance of klee a lot? One solution is to use opt after linking, right? -- Dingbao Xie
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
