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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
