Hi, there is some overlap between those two options, and in general
things are not that well documented, so the best reference is the code.
I'll try to take a closer look at this once I have some time. In the
meantime, you may want to open a new issue on GitHub.
Best,
Cristian
On 12/05/15
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
I see it. Thank you very much.
Best wishes!
Zhiyi Zhang
On Mon, May 11, 2015 at 7:54 PM, Eric Rizzi eric.ri...@gmail.com wrote:
There should be a --rewrite-equalities option per the following commit
https://github.com/klee/klee/commit/f0de5e4ea4f1bed2e698ae99a19f1f0b96770f9c
The default