Frama-C Bug Tracking System - Frama-C
View Issue Details
0001688Frama-CPlug-in > wppublic2014-03-12 17:052015-03-17 22:18
jens 
correnson 
highminoralways
closedfixed 
Frama-C GIT, precise the release id 
Frama-C Sodium 
0001688: CVC4 results are not displayed in the GUI
When using the CVC4 prover the verification results are not automatically displayed in the GUI.
The problem was observed with Frama-C Neon.
No tags attached.
gif frama-c-gui.gif (218,040) 2014-07-14 15:22
https://bts.frama-c.com/file_download.php?file_id=793&type=bug
gif

c gui01.c (82) 2014-07-14 15:24
https://bts.frama-c.com/file_download.php?file_id=794&type=bug
Issue History
2014-03-12 17:05jensNew Issue
2014-03-12 17:05jensStatusnew => assigned
2014-03-12 17:05jensAssigned To => correnson
2014-07-14 15:22JochenFile Added: frama-c-gui.gif
2014-07-14 15:24JochenFile Added: gui01.c
2014-07-14 15:25JochenNote Added: 0005256
2014-09-03 16:28corrensonNote Added: 0005430
2014-09-03 16:28corrensonStatusassigned => resolved
2014-09-03 16:28corrensonResolutionopen => fixed
2015-03-17 22:17signolesFixed in Version => Frama-C Sodium
2015-03-17 22:18signolesStatusresolved => closed

Notes
(0005256)
Jochen   
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   
2014-09-03 16:28   
Fix committed to master branch.