Jessie-gui : call of coqide and --project option
ID0000028: This issue was created automatically from Mantis Issue 28. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0000028 | Frama-C | Plug-in > jessie | public | 2009-04-07 | 2009-06-23 |
Reporter | virgile | Assigned To | cmarche | Resolution | fixed |
Priority | normal | Severity | minor | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Lithium-20081201 | Target Version | - | Fixed in Version | Frama-C Beryllium-20090601-beta1 |
Description :
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.
Additional Information :
seems like a bug in gwhy itself.