I see it. Thank you very much. Best wishes! Zhiyi Zhang
On Mon, May 11, 2015 at 7:54 PM, Eric Rizzi <[email protected]> wrote: > 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
