Occurrence plugin

Directory plugins

Section Occurrence (in plugins/occurrence)


Occurrence

Occurrence plug-in.

Options
Register

Register the plugin in the Frama-C kernel.

Register_gui

Extension of the GUI for the occurrence plugin.