frama-c-gui hangs on start
ID0001043: This issue was created automatically from Mantis Issue 1043. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001043 | Frama-C | Graphical User Interface | public | 2011-12-09 | 2011-12-11 |
| Reporter | oliverks | Assigned To | monate | Resolution | no change required |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Nitrogen-20111001 | Target Version | - | Fixed in Version | - |
Description :
I installed Frama-C Nitrogen on Mac OS X 10.6.8. Whenever I try to start frama-c-gui it just hangs. No graphical screen comes up and no error messages are reported.
If I run frama-c-gui -verbose 9 this is what I see
okingsmith:analysis oliverks$ frama-c-gui -verbose 9
[kernel] creating project "default"
[kernel] its unique name is "default"
[kernel] parsing command line options of stage "early".
[kernel] parsing command line options of stage "extending".
[kernel] dynamic plug-ins are now also searched inside directory /usr/local/Frama-C/lib/frama-c/plugins' [kernel] dynamic plug-ins are now also searched inside directory /usr/local/Frama-C/lib/frama-c/plugins/gui'
[kernel] loading plug-in Security_slicing
[kernel] loading plug-in Wp
[kernel] loading plug-in Aorai
[kernel] loading plug-in Report
This is as far as it seems to get.
Oliver