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 |
|
![]() |
||||||
|
![]() |
|
correnson (manager) 2011-05-19 13:33 |
Alt-Ergo 0.93 required. Array theory by default. |
![]() |
|||
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 |