Frama-C Bug Tracking System - Frama-C | |||||
View Issue Details | |||||
ID | Project | Category | View Status | Date Submitted | Last Update |
0002506 | Frama-C | Graphical User Interface | public | 2020-06-03 22:30 | 2020-06-04 14:43 |
Reporter | markrtuttle | ||||
---|---|---|---|---|---|
Assigned To | correnson | ||||
Priority | normal | Severity | major | Reproducibility | have not tried |
Status | closed | Resolution | no change required | ||
Platform | MacOS | OS | MacOS | OS Version | 10.14 |
Product Version | Frama-C 19-Potassium | ||||
Target Version | Fixed in Version | ||||
Summary | 0002506: Unable to right-click on MacOS to drive GUI | ||||
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. | ||||
Tags | No tags attached. | ||||
Relationships | |||||
Attached Files |
Notes | |||||
|
|||||
|
|
||||
|
|||||
|
|
||||
|
|||||
|
|
||||
|
|||||
|
|
||||
|
|||||
|
|
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 |