Module Rte

module Rte: sig .. end
Accessing the RTE plug-in easily.

Generic code



val stmt : ?warn:bool ->
Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.code_annotation list
RTEs of a given stmt, as a list of code annotations.
val exp : ?warn:bool ->
Cil_types.kernel_function ->
Cil_types.stmt -> Cil_types.exp -> Cil_types.code_annotation list
RTEs of a given exp, as a list of code annotations.