[klee-dev] pathcondition for concrete values

[Leandro Sales]

Hi,

Is there a way to use klee to extract the path condition followed for a
given input (or file)?

thanks,

Leandro
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110628/c7fb1865/attachment.html