Frama-C API - basic_main
Subtype of Design.main_window_extension_points
which is required to show the launcher.
inherit Frama_c_gui.Gtk_helper.host
basic_main
Subtype of Design.main_window_extension_points
which is required to show the launcher.
inherit Frama_c_gui.Gtk_helper.host