Frama-C API - Eva_audit
val check_configuration : Frama_c_kernel.Filepath.t -> unitval print_configuration : Frama_c_kernel.Filepath.t -> unit
Frama-C Frama-C Eva_auditval check_configuration : Frama_c_kernel.Filepath.t -> unitval print_configuration : Frama_c_kernel.Filepath.t -> unit