| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000641 | Frama-C | Plug-in > wp | public | 2010-12-16 13:41 | 2011-10-10 14:14 | ||||
| Reporter | dargaye | ||||||||
| Assigned To | dargaye | ||||||||
| Priority | normal | Severity | minor | Reproducibility | have not tried | ||||
| Status | closed | Resolution | fixed | ||||||
| Product Version | |||||||||
| Target Version | Frama-C Nitrogen-20111001 | Fixed in Version | Frama-C Nitrogen-20111001 | ||||||
| Summary | 0000641: alt-ergo version managment | ||||||||
| Description | When the alt-ergo version is 0.91.x and the -wp-no-arrays option isn't set, find a way to catch the alt-ergo error output | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
||||||
|
||||||
 Relationships |
| Notes |
|
|
correnson (manager) 2011-05-19 13:33 |
Alt-Ergo 0.93 required. Array theory by default. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2010-12-16 13:41 | dargaye | New Issue | |
| 2010-12-16 13:41 | dargaye | Status | new => assigned |
| 2010-12-16 13:41 | dargaye | Assigned To | => dargaye |
| 2010-12-16 13:42 | dargaye | Relationship added | child of 0000640 |
| 2011-01-28 11:44 | correnson | Target Version | => Frama-C Carbon-20110201 |
| 2011-02-02 10:46 | correnson | Target Version | Frama-C Carbon-20110201 => Frama-C Nitrogen-20110901 |
| 2011-05-19 13:33 | correnson | Note Added: 0001912 | |
| 2011-05-19 13:33 | correnson | Status | assigned => resolved |
| 2011-05-19 13:33 | correnson | Resolution | open => fixed |
| 2011-10-10 14:13 | signoles | Fixed in Version | => Frama-C Nitrogen-20111001 |
| 2011-10-10 14:14 | signoles | Status | resolved => closed |
| Issue History |