[klee-dev] Experssion Rewriter

[Eric Rizzi]

There should be a --rewrite-equalities option per the following commit

https://github.com/klee/klee/commit/f0de5e4ea4f1bed2e698ae99a19f1f0b96770f9c

The default behavior is on anyways, though.

On Mon, May 11, 2015 at 3:02 AM, Zhiyi Zhang <xianlingzibiying at gmail.com>
wrote:

> Hi all,
>
> When I used klee with llvm3.4, I found that there is no "--rewrite" option
> in klee orders. So how could I use expression  rewrite optimization  when I
> use klee running a program?
>
> Thank you.
> Zhiyi Zhang
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
-------------- next part --------------
HTML attachment scrubbed and removed