Up
–
frama-c
»
Frama_c_very_first
» Gui_init
Module
Frama_c_very_first.Gui_init
Frama-C GUI early initialization.
val
is_gui : bool