Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002289Frama-CPlug-in > wppublic2017-03-01 16:492017-03-01 16:49
ReporterPierre-Yves Piriou 
Assigned Tocorrenson 
Platformlinux 3.2.0-4-amd64OSDebianOS Version7.11
Product VersionFrama-C 14-Silicon 
Target VersionFixed in Version 
Summary0002289: Why3ide cannot be opened in this version
DescriptionWhen 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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2017-03-01 16:49 Pierre-Yves Piriou New Issue
2017-03-01 16:49 Pierre-Yves Piriou Status new => assigned
2017-03-01 16:49 Pierre-Yves Piriou Assigned To => correnson

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker