module Rte:sig
..end
Accessing the RTE plug-in easily.
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.