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 ## Attachments - [gui-osx-and-xubuntu.pdf](/uploads/df960fcf66544389a56320c9d25012b9/gui-osx-and-xubuntu.pdf)