[klee-dev] pathcondition for concrete values

[David A. Ramos]

Leandro,

The --write-pcs option should do what you're asking. For each testcase, it'll dump out the path constraints in testXXXXXX.pc.

-David

On Jun 28, 2011, at 1:21 PM, Leandro Sales wrote:

> Hi,
> 
> Is there a way to use klee to extract the path condition followed for a given input (or file)?
> 
> thanks,
> 
> Leandro
> _______________________________________________
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev