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
