--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on June 2010 ---
Hello, > Following directions > ?? ? ? ?To play the tutorial from http://frama-c.com/try_out.html, type: > ?? ? ? ? frama-c-gui -slevel 10 first.c > I get the following > (frama-c-gui:210): Gtk-CRITICAL **: gtk_widget_has_screen: assertion > `GTK_IS_WIDGET (widget)' failed > ?and the math symbols don't seem to display. This may be related to the font problem. I have seen this warning before, but only on larger size examples. It didn't seem to cause ill effects so I didn't investigate further, although in retrospect it would have been smart to have some idea what produced this warning. The "first.c" example doesn't have many of the difficult symbols (for <=, >=, $\wedge$, $\vee$, ..) but it does use $\in$ (with variables on the left-hand side and values on the right-hand side). What do each of the following commands say?: ls /usr/local/Frama-C_B/share/frama-c/frama-c.rc cat /usr/local/Frama-C_B/share/frama-c/frama-c.rc ls ~/Library/Fonts/ Meanwhile, the option -no-unicode will tell frama-c-gui not to use any of the characters that may be problematic. $\in$ will for instance be displayed as "IN". Best regards, Pascal