Frama-C Bug Tracking System - Frama-C
View Issue Details
0000028Frama-CPlug-in > jessiepublic2009-04-07 14:052009-06-23 18:03
virgile 
cmarche 
normalminoralways
closedfixed 
Frama-C Lithium-20081201 
Frama-C Beryllium-20090601-beta1 
0000028: Jessie-gui : call of coqide and --project option
When calling coqide from the -jessie-gui interface, the following error occurs : Thread 2 killed on uncaught exception Failure("For interactive provers, option --project must be set") But i did'nt find how this option can be set. Can it be a default setting ? Regards, Nicolas.
seems like a bug in gwhy itself.
No tags attached.
Issue History
2009-04-07 14:05virgileNew Issue
2009-04-07 15:43signolesStatusnew => acknowledged
2009-04-10 10:06signolesStatusacknowledged => assigned
2009-04-10 10:06signolesAssigned To => cmarche
2009-05-22 15:49cmarcheNote Added: 0000086
2009-05-22 15:49cmarcheStatusassigned => resolved
2009-05-22 15:49cmarcheResolutionopen => fixed
2009-06-23 18:02signolesStatusresolved => closed
2009-06-23 18:03signolesFixed in Version => Frama-C Beryllium beta-1

Notes
(0000086)
cmarche   
2009-05-22 15:49   
gwhy does not support coqide