frama-c-gui 27.0 segmentation fault in MacOS Ventura 13.4
I have installed the latest Frama-C version (27.0) in MacOS Ventura 13.4 on M1 and M2 Macbooks. The installation process is smooth, including Ivette installation.
Once everything is installed when trying to run the GUI I get the following
[gui] Warning: creating config directory `.config/frama-c/gui'
(frama-c-gui:13363): Gtk-WARNING **: 12:57:42.276: Drawing a gadget with negative dimensions. Did you forget to allocate a size? (node tab owner GtkNotebook)
(frama-c-gui:13363): Gtk-WARNING **: 12:57:42.276: Drawing a gadget with negative dimensions. Did you forget to allocate a size? (node arrow owner GtkNotebook)
(frama-c-gui:13363): Gtk-WARNING **: 12:57:42.277: Drawing a gadget with negative dimensions. Did you forget to allocate a size? (node arrow owner GtkNotebook)
[1] 13363 segmentation fault frama-c-gui
I get this behaviour on both computers.
Is there any workaround for this? I tried copying the GUI config file from Linux without any success.
It works well in Linux, though. And the new interface is very neat thank you!
Thanks and best regards, David.