[klee-dev] KLEE compiler optimization?

[Cristian Cadar]

On 08/02/13 13:48, 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.
Hi Paul, thanks for clarifying this.

Best,
Cristian