Number of discharged Qed goals counted multiple times
ID0001683: This issue was created automatically from Mantis Issue 1683. Further discussion may take place here.
|ID0001683||Frama-C||Plug-in > wp||public||2014-03-12||2016-01-26|
|Product Version||Frama-C Fluorine-20130601||Target Version||-||Fixed in Version||Frama-C Magnesium|
Here are the last lines of output produced by WP when verifying the copy algorithm. It appears that the Qed goals are counted several times.
[wp] Proved goals: 16 / 16 Qed: 12 (2ms-8ms) Alt-Ergo: 11 (25ms-81ms) (70) cvc4: 1 (460ms-460ms)
Additional Information :
In fact, I am running Frama-C Neon...