[klee-dev] KLEE compiler optimization?

[Jonathan Neuschäfer]

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