Frama-C:
Plug-ins:
Libraries:

Frama-C API - Eva_info

Filled when Eva is loaded.

val loaded : bool Stdlib.ref
val computed : (unit -> bool) Stdlib.ref
val coverage_md_gen : (unit -> Frama_c_kernel.Markdown.elements) Stdlib.ref
val domains_md_gen : (unit -> (Frama_c_kernel.Markdown.text * Frama_c_kernel.Markdown.text) list) Stdlib.ref