Frama-C API - From_gui
module From_register_gui : sig ... endExtension of the GUI in order to support the from analysis. No function is exported.
Frama-C Frama-C From_guimodule From_register_gui : sig ... endExtension of the GUI in order to support the from analysis. No function is exported.