Re: [klee-dev] Collect path constraints with seed mode

Hi, On 21/09/2021 09:00, zy j wrote: Hi, I want to collect the path constraints of a specific PoC generated by fuzzing, I have found similar question in https://www.mail-archive.com/klee-dev@imperial.ac.uk/msg02743.html ,

[klee-dev] Collect path constraints with seed mode

Hi, I want to collect the path constraints of a specific PoC generated by fuzzing, I have found similar question in https://www.mail-archive.com/klee-dev@imperial.ac.uk/msg02743.html, which helps a lot, I added --use-query-log=all:smt2,solver:smt2 --write-cvcs --write-smt2s to dump the