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.
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.