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
