[klee-dev] How to obtain the simplified expression?

[Mingyue Jiang]

Dear All,

   As said in OSDI 2008 paper, KLEE make a lot of effort to simplify expressions.    I want to use Kleaver to do constraint solving as well as output the simplified constraints.
   I'm analysing the source code but few indications are obtained.

Can you show me how to obtain the simplified expressions by Kleaver?
Thanks.

Best regards,
Mingyue Jiang
-------------- next part --------------
HTML attachment scrubbed and removed