[klee-dev] pathcondition for concrete values
David A. Ramos
daramos at stanford.edu
Tue Jun 28 16:35:18 PDT 2011
The --write-pcs option should do what you're asking. For each testcase, it'll dump out the path constraints in testXXXXXX.pc.
On Jun 28, 2011, at 1:21 PM, Leandro Sales wrote:
> Is there a way to use klee to extract the path condition followed for a given input (or file)?
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
More information about the klee-dev