[klee-dev] KLEE compiler optimization?

[Paul Rubel]

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.

    thanks,
    Paul