Question: Dump why3 file generated by frama-c

Hey,
if I proove a file with the wp plugin, the C code gets transpiled into WhyML, is that right?
If so, is it already possible, to dump the generated WhyML into a file?
Thank you for your help.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information