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
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
