Frama-C Bug Tracking System - Frama-C
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0002506Frama-CGraphical User Interfacepublic2020-06-03 22:302020-06-04 14:43
Reportermarkrtuttle 
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 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.
TagsNo tags attached.
Relationships
Attached Files

Notes
(0006973)
correnson   
2020-06-04 07:57   
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.
(0006974)
correnson   
2020-06-04 08:03   
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.
(0006975)
correnson   
2020-06-04 08:04   
(In the future, please consider opening issues on our public GitLab repository, this BTS is about to be deprecated)
(0006976)
markrtuttle   
2020-06-04 14:00   
Thank you. The two-fingers touch does give the desired result. Please close this ticket.
(0006977)
markrtuttle   
2020-06-04 14:03   
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 ModifiedUsernameFieldChange
2020-06-03 22:30markrtuttleNew Issue
2020-06-03 22:30markrtuttleStatusnew => assigned
2020-06-03 22:30markrtuttleAssigned To => maroneze
2020-06-04 07:57corrensonNote Added: 0006973
2020-06-04 08:03corrensonNote Added: 0006974
2020-06-04 08:03corrensonAssigned Tomaroneze => correnson
2020-06-04 08:04corrensonNote Added: 0006975
2020-06-04 14:00markrtuttleNote Added: 0006976
2020-06-04 14:03markrtuttleNote Added: 0006977
2020-06-04 14:43corrensonStatusassigned => closed
2020-06-04 14:43corrensonResolutionopen => no change required