2021-03-01 22:36 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002506Frama-CGraphical User Interfacepublic2020-06-04 14:43
Assigned Tocorrenson 
PrioritynormalSeveritymajorReproducibilityhave not tried
StatusclosedResolutionno change required 
PlatformMacOSOSMacOSOS Version10.14
Product VersionFrama-C 19-Potassium 
Target VersionFixed in Version 
Summary0002506: Unable to right-click on MacOS to drive GUI
DescriptionI'm unable to use the GUI on MacOS.

I have installed Frama-C on MacOS 10.14 with opam using the instructions in Section 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.
TagsNo tags attached.
Attached Files




correnson (manager)

I'm using frama-c-gui on macOS 10.xx on a daily basis for several years now and I never encounter this problem. Just to make sure, please check the result of frama-c configure : it shall be using GTK 2 (not 3) on mac OS.


correnson (manager)

However, notice that GTK interpret keyboard and mouse events via an X server which is provided in the background by XQuartz on macOS. In such setting, control-click might not be equivalent to right-click, although it also works for me. Try two-fingers touch or command-click or launch XQuartz by hand and check the preference window.


correnson (manager)

(In the future, please consider opening issues on our public GitLab repository, this BTS is about to be deprecated)


markrtuttle (reporter)

Thank you. The two-fingers touch does give the desired result. Please close this ticket.


markrtuttle (reporter)

I came to BTS via the link on https://frama-c.com/support.html. I recommend adding your advice to use GitLab issues there.

-Issue History
Date Modified Username Field Change
2020-06-03 22:30 markrtuttle New Issue
2020-06-03 22:30 markrtuttle Status new => assigned
2020-06-03 22:30 markrtuttle Assigned To => maroneze
2020-06-04 07:57 correnson Note Added: 0006973
2020-06-04 08:03 correnson Note Added: 0006974
2020-06-04 08:03 correnson Assigned To maroneze => correnson
2020-06-04 08:04 correnson Note Added: 0006975
2020-06-04 14:00 markrtuttle Note Added: 0006976
2020-06-04 14:03 markrtuttle Note Added: 0006977
2020-06-04 14:43 correnson Status assigned => closed
2020-06-04 14:43 correnson Resolution open => no change required
+Issue History