RteGen
val mark_generated_rte : unit -> unit
Marks all RTE as generated. Does nothing if the rte plugin is missing.
Frama-C