Unable to right-click on MacOS to drive GUI
ID0002506: This issue was created automatically from Mantis Issue 2506. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0002506 | Frama-C | Graphical User Interface | public | 2020-06-03 | 2020-06-04 |
Reporter | markrtuttle | Assigned To | correnson | Resolution | no change required |
Priority | normal | Severity | major | Reproducibility | have not tried |
Platform | MacOS | OS | MacOS | OS Version | 10.14 |
Product Version | Frama-C 19-Potassium | Target Version | - | Fixed in Version | - |
Description :
I'm unable to use the GUI on MacOS.
I have installed Frama-C on MacOS 10.14 with opam using the instructions in Section 2.2.2.2 of the tutorial https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf. The only exception is that the instructions say "brew install gtk+ --with-jasper" and brew says --with-jasper is no longer supported.
I can start the gui with "frama-c-gui main.c" with the abs function from the tutorial, I can browse the abs function, but I'm unable to right click (control click) on anything in the function to start the verification. I'm following the instructions described in Section 2.2.3 of the tutorial.
Can you give me any guidance on how to proceed or how to debug?
Running frama-c from the command line works just fine.