Dear all,
I have run some experiments to collect two sets of constraints, each set
contains the same number and type of symbolic variables. I am
wondering whether KLEE has some APIs to judge these two sets of constraints
are equavalent (i.e., given the same concrete values for the symbolic
variables, the two sets always produce the same result)?
--
Regards,
Heming Cui
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100423/30bc1e23/attachment.html
