Up
–
frama-c-metrics
»
Metrics_gui
» Register_gui
Module
Metrics_gui.Register_gui
Extension of the Frama-C GUI for the plugin. Nothing is exported.