On Fri, Feb 08, 2013 at 08:48:04AM -0500, Paul Rubel wrote: > Christian, > > Cristian Cadar writes: > > Hi Paul, I guess it would be useful to have more control over the LLVM > > optimizations performed in KLEE. I would be happy to incorporate such a > > patch. > > This was a tricky question. It was posted to the klee list but the > poster seemed to be using cloud9. The two code bases, klee/cloud9 have > diverged a bit. I believe that klee does the "right thing" here while > cloud9 optimizes even if the -disable-opt argument was passed. I will > try to push a patch to cloud9, but I don't think this is a klee issue.
BTW, are there plans to merge Klee and Cloud9? Jonathan Neuschäfer _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
