Confusing bullets for unproven obligations under OSX
ID0001631: This issue was created automatically from Mantis Issue 1631. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001631 | Frama-C | Plug-in > wp | public | 2014-01-24 | 2014-03-13 |
| Reporter | jens | Assigned To | correnson | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | OSX | OS | - | OS Version | 10.9.1 |
| Product Version | Frama-C Fluorine-20130601 | Target Version | - | Fixed in Version | Frama-C Neon-20140301 |
Description :
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