Hi, When trying build openssl with wllvm, following error occurred: cc1: error: unrecognized command line option "-fplugin=/home/qingjinlyc/IDEs/llvm-2.9/lib/dragonegg.so" cc1: error: unrecognized command line option "-fplugin-arg-dragonegg-emit-ir
Does anyone have any idea about this? Thanks, Ben Li
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
