Frama-C GUI manual
ID0002393: This issue was created automatically from Mantis Issue 2393. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002393 | Frama-C | Documentation > manuals | public | 2018-08-09 | 2018-09-05 |
| Reporter | NewUser | Assigned To | maroneze | Resolution | no change required |
| Priority | normal | Severity | feature | Reproducibility | N/A |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C 17-Chlorine | Target Version | - | Fixed in Version | - |
Description :
Is there any detailed (stepwise) manual about GUI of Drama-C? May be I'm missing some points but Could we edit/write new files within GUI interface? GUI seems to be not very user friendly...