Up
–
frama-c-impact
» Impact_gui
Module
Impact_gui
module
Register_gui
:
sig
...
end
Extension of the GUI for the impact plugin.