Nonterm plugin

Directory plugins

Section Nonterm (in plugins/nonterm)


Nonterm
Nonterm_run

Register the plugin in the Frama-C kernel.