[klee-dev] klee with llvm-3.6?

[Dan Liew]

On 22 March 2015 at 21:03, Cristian Cadar <c.cadar at 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.