Frama-C Bug Tracking System - Frama-C |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000036 | Frama-C | Plug-in > jessie | public | 2009-04-07 15:26 | 2009-06-23 18:03 |
|
| Reporter | virgile | |
| Assigned To | virgile | |
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | Frama-C Lithium-20081201 | |
| Target Version | | Fixed in Version | Frama-C Beryllium-20090601-beta1 | |
|
| Summary | 0000036: GUI blocked (100% cpu used) when requested to display an assertion |
| Description | [bug 7497 from old bts, reported by David Mentré]
Hello,
If I do:
* Launch Jessie GUI on attached evoting.c file:
"rama-c -jessie-analysis -jessie-atp alt-ergo -jessie-std-stubs -jessie-gui evoting.c";
* Enter Ctrl+C to collapse all functions;
* Expand function "main Safety";
* Click on precondition 64.
The GUI is blocked, using 100% of CPU.
Yours,
d.
|
| Steps To Reproduce | |
| Additional Information | Looks a bug in gwhy itself |
| Tags | No tags attached. |
| Relationships | |
| Attached Files | |
|
| Issue History |
| Date Modified | Username | Field | Change |
| 2009-04-07 15:26 | virgile | New Issue | |
| 2009-04-07 15:41 | signoles | Status | new => acknowledged |
| 2009-04-10 10:15 | signoles | Status | acknowledged => assigned |
| 2009-04-10 10:15 | signoles | Assigned To | => cmarche |
| 2009-05-22 16:21 | cmarche | Note Added: 0000089 | |
| 2009-05-22 16:21 | cmarche | Status | assigned => acknowledged |
| 2009-05-22 18:31 | monate | Note Added: 0000090 | |
| 2009-06-18 17:08 | cmarche | Status | acknowledged => assigned |
| 2009-06-18 17:08 | cmarche | Assigned To | cmarche => virgile |
| 2009-06-19 16:16 | monate | Status | assigned => resolved |
| 2009-06-19 16:16 | monate | Fixed in Version | => Frama-C Beryllium beta-1 |
| 2009-06-19 16:16 | monate | Resolution | open => fixed |
| 2009-06-23 18:02 | signoles | Status | resolved => closed |