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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
