Frama-C:
Plug-ins:
Libraries:

Frama-C API - RteGen

val mark_generated_rte : unit -> unit

Marks all RTE as generated. Does nothing if the rte plugin is missing.