Frama-C:
Plug-ins:
Libraries:

Frama-C API - RteGen

Consult internal plug-in documentation for more details

module Flags : module type of Flags

Flags for filtering Alarms

module Generator : module type of Generator

RTE Generator Status & Emitters

module Visit : sig ... end

Visitors to iterate over Alarms and/or generate Code-Annotations

val compute : unit -> unit

Same result as having -rte on the command line

module Options : sig ... end