Why3ide cannot be opened in this version
ID0002289: This issue was created automatically from Mantis Issue 2289. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002289 | Frama-C | Plug-in > wp | public | 2017-03-01 | 2017-03-01 |
| Reporter | Pierre-Yves Piriou | Assigned To | correnson | Resolution | open |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | linux 3.2.0-4-amd64 | OS | Debian | OS Version | 7.11 |
| Product Version | Frama-C 14-Silicon | Target Version | - | Fixed in Version | - |
Description :
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.