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