Anonymous | Login | Signup for a new account | 2019-02-18 16:31 CET | ![]() |
Main | My View | View Issues | Change Log | Roadmap | Repositories |
View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
0001688 | Frama-C | Plug-in > wp | public | 2014-03-12 17:05 | 2015-03-17 22:18 | ||||
Reporter | jens | ||||||||
Assigned To | correnson | ||||||||
Priority | high | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Platform | OS | OS Version | |||||||
Product Version | Frama-C GIT, precise the release id | ||||||||
Target Version | Fixed in Version | Frama-C Sodium | |||||||
Summary | 0001688: CVC4 results are not displayed in the GUI | ||||||||
Description | When using the CVC4 prover the verification results are not automatically displayed in the GUI. | ||||||||
Additional Information | The problem was observed with Frama-C Neon. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files | ![]() ![]() | ||||||||
![]() |
|
(0005256) Jochen (reporter) 2014-07-14 15:25 |
I obtained the same problem (see picture "frama-c-gui.gif") from the command "frama-c-gui -wp-prover alt-ergo,cvc4 -wp -wp-rte gui01.c". |
(0005430) correnson (manager) 2014-09-03 16:28 |
Fix committed to master branch. |
![]() |
|||
Date Modified | Username | Field | Change |
2014-03-12 17:05 | jens | New Issue | |
2014-03-12 17:05 | jens | Status | new => assigned |
2014-03-12 17:05 | jens | Assigned To | => correnson |
2014-07-14 15:22 | Jochen | File Added: frama-c-gui.gif | |
2014-07-14 15:24 | Jochen | File Added: gui01.c | |
2014-07-14 15:25 | Jochen | Note Added: 0005256 | |
2014-09-03 16:28 | correnson | Note Added: 0005430 | |
2014-09-03 16:28 | correnson | Status | assigned => resolved |
2014-09-03 16:28 | correnson | Resolution | open => fixed |
2015-03-17 22:17 | signoles | Fixed in Version | => Frama-C Sodium |
2015-03-17 22:18 | signoles | Status | resolved => closed |
Copyright © 2000 - 2019 MantisBT Team |