[klee-dev] Experssion Rewriter

[Zhiyi Zhang]

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
-------------- next part --------------
HTML attachment scrubbed and removed