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
module Api : module type of Api
Runtime Error Annotation Generation plugin.
Frama-C