[klee-dev] Metasmt using Z3 for getting unsat core

[felicia]

Hi,

I have installed metasmt and use Z3 as a solver. I actually need to implement code in KLEE
where Z3 solver able to produce unsat-core. I am currently still not sure how I implement it in KLEE.
I really appreciate if you can give suggestion about this.

Thank you very much.
Best Regards, 


Sent from Samsung Mobile
-------------- next part --------------
HTML attachment scrubbed and removed