Frama-C:
Plug-ins:
Libraries:

Frama-C API - Md_gen

val gen_report : draft:bool -> unit -> unit

generates the report (either final or draft according to the flag)

module Eva_info : sig ... end

Filled when Eva is loaded.