Frama-C Bug Tracking System - Frama-C |
View Issue Details |
|
ID | Project | Category | View Status | Date Submitted | Last Update |
0000517 | Frama-C | Graphical User Interface | public | 2010-06-22 10:55 | 2014-02-12 16:55 |
|
Reporter | signoles | |
---|
Assigned To | monate | |
---|
Priority | normal | Severity | minor | Reproducibility | have not tried |
---|
Status | closed | Resolution | fixed | |
---|
Platform | | OS | | OS Version | |
---|
Product Version | Frama-C Boron-20100401 | |
---|
Target Version | | Fixed in Version | Frama-C Nitrogen-20111001 | |
---|
|
Summary | 0000517: Exception raised if dot not found |
---|
Description | Should check dynamically if dot is executable before trying to run it. |
---|
Tags | No tags attached. |
---|
Relationships | related to | 0000508 | closed | signoles | An erorr appears when executing right-click on the source-file name(left side of the screen). | related to | 0001122 | closed | signoles | Opening consolidation graph crashes when 'dot' is missing |
|
Attached Files | |
---|