On Fri, Apr 12, 2013 at 11:11:02PM +0800, 明白了 wrote: > The second question is : > We installs the system 12.04 version of klee according to the > installing steps that you publish on the web, but it reports the error > above when compiling, saying it is a “unrecognized option > ‘--emit-llvm’”. Why was it so? I need some help in this.
Try "-emit-llvm" (with only one leading dash), it worked for me (llvm-gcc 4.6.3). HTH, Jonathan Neuschäfer _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
