Frama-C Bug Tracking System - Frama-C
View Issue Details
0002289Frama-CPlug-in > wppublic2017-03-01 16:492017-03-01 16:49
Pierre-Yves Piriou 
correnson 
normalfeaturealways
assignedopen 
linux 3.2.0-4-amd64Debian7.11
Frama-C 14-Silicon 
 
0002289: Why3ide cannot be opened in this version
When I try to open the Why3 IDE from the GUI to edit a proof (right-click on Why3 column, then 'open why3ide'), the "running icon" is displayed but the IDE does not open.
No tags attached.
Issue History
2017-03-01 16:49Pierre-Yves PiriouNew Issue
2017-03-01 16:49Pierre-Yves PiriouStatusnew => assigned
2017-03-01 16:49Pierre-Yves PiriouAssigned To => correnson

There are no notes attached to this issue.