[klee-dev] Which optimizations that KLEE used on the bitcode, and where they are?

[Sang Phan]

Hello,

The assembly.ll that KLEE generates is much more optimized than the one
generated by opt.

So what optimization that KLEE uses before the execution, and where in the
source that I can them?

Thank you,
Sang
-------------- next part --------------
HTML attachment scrubbed and removed