Module Translate_rtes

module Translate_rtes: sig .. end

Generate and translate RTE annotations.


Generate and translate RTE annotations.

val rte_annots : (Stdlib.Format.formatter -> 'a -> unit) ->
'a ->
Cil_types.kernel_function -> Env.t -> Cil_types.code_annotation list -> Env.t

Translate the given RTE annotations into runtime checks in the given environment.