`keep_vcs` flag
Hello everyone,
First of all, thanks for the fantastic work on why3. I am new to learning & using why3 so please bare with my inexperienced question(s)
I have noticed the keep_vcs
flag being added recently (src/driver/call_provers.ml
)
It would be a great feature of me to generate and keep the VCs in file (say the .smt files for SMT solvers).
If this is the right flag to use for my need? and if so, how to use this flag? (I've tried it but there's no file created)
or I should look into another debug flag?
Thank you in advance :)