wp-plugin does not generate coq *.v goals. (#2116) · Issues · pub / frama-c