Frama-C API - Register_gui
Extension of the GUI in order to support slicing visualization. No function is exported.
Frama-C Frama-C Register_guiExtension of the GUI in order to support slicing visualization. No function is exported.