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
