When linking programs using LLVM I am aware of two main options: * Use the Gold linker with the LLVM plugin[1] and pass the relevant option to the linker (I think it's -also-emit-llvm or -emit-llvm) * Use the hacky wllvm script [2]
[1] http://llvm.org/docs/GoldPlugin.html [2] https://github.com/travitch/whole-program-llvm _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
