Frama-C API - Slicing_gui
module Register_gui : sig ... endExtension of the GUI in order to support slicing visualization. No function is exported.
Frama-C Frama-C Slicing_guimodule Register_gui : sig ... endExtension of the GUI in order to support slicing visualization. No function is exported.