Confusing bullets for unproven obligations under OSX
ID0001631: This issue was created automatically from Mantis Issue 1631. Further discussion may take place here.
|ID0001631||Frama-C||Plug-in > wp||public||2014-01-24||2014-03-13|
|Product Version||Frama-C Fluorine-20130601||Target Version||-||Fixed in Version||Frama-C Neon-20140301|
Under OSX an unproven obligation is depicted by a red bullet. It appears as if that po is actually wrong. Under Linux a cross (x) is shown instead, which I find better.
I think I would prefer a question mark for a proof obligation that could neither be verified nor refuted.
I attach two screen shots: one from osx and one from linux that show the differences.
Additional Information :
might be related to issue 0001485