On 22 March 2015 at 21:03, Cristian Cadar <c.ca...@imperial.ac.uk> wrote: > I think there is some rationale for having that code there, as we have > found it useful to have finer-grained control over optimisations in KLEE > in order to improve performance.
You can run all LLVM optimisations outside of KLEE using the opt tool. ``opt`` is very flexible and provides all the control you could probably want. I would much rather see an external script or external tool that processes the LLVM bitcode separately. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev