View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0001348 | Frama-C | Plug-in > wp | public | 2013-01-13 01:14 | 2013-04-19 11:05 | ||||
Reporter | sduprat | ||||||||
Assigned To | correnson | ||||||||
Priority | normal | Severity | major | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C Oxygen-20120901 | ||||||||
Target Version | Fixed in Version | Frama-C Fluorine-20130401 | |||||||
Summary | 0001348: performance problem about number of fields in structure for struct equality properties | ||||||||
Description | For the same case of assign of struct, - property about value of the assigned struct are proved for a small number of fields of struct - same property unproved with a larger struct (11 elts) | ||||||||
Additional Information | See example in attached file cmd:frama-c -wp source.c -wp-timeout 200 | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
correnson (manager) 2013-01-15 19:21 |
There is no problem with 'Typed' model. L. |
sduprat (reporter) 2013-01-16 00:55 |
that's right, that problem was originally found on Oxygen with typed, but is already fixed in the svn. thanks. |
correnson (manager) 2013-01-16 02:04 |
Fixed in the while |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2013-01-13 01:14 | sduprat | New Issue | |
2013-01-13 01:14 | sduprat | Status | new => assigned |
2013-01-13 01:14 | sduprat | Assigned To | => correnson |
2013-01-13 01:14 | sduprat | File Added: source.c | |
2013-01-15 19:21 | correnson | Note Added: 0003663 | |
2013-01-16 00:55 | sduprat | Note Added: 0003664 | |
2013-01-16 02:04 | correnson | Note Added: 0003665 | |
2013-01-16 02:04 | correnson | Status | assigned => resolved |
2013-01-16 02:04 | correnson | Resolution | open => fixed |
2013-04-19 11:05 | signoles | Fixed in Version | => Frama-C Fluorine |
2013-04-19 11:05 | signoles | Status | resolved => closed |