RteGen plugin

Directory plugins

Section Rte (in plugins/rte)


Flags

Filtering Categories of Alarms

Generator
Options
Register

Register the plugin in the Frama-C kernel.

Rte
RteGen

Consult internal plug-in documentation for more details

Visit

Runtime Error annotation generation plugin