Frama-C:
Plug-ins:
Libraries:

Frama-C API - Output

val exists : unit -> bool
val get : unit -> Frama_c_kernel.Filepath.t
val get_dir : string -> Frama_c_kernel.Filepath.t
val mkdir : Frama_c_kernel.Filepath.t -> unit
val add_update_hook : (Frama_c_kernel.Filepath.t -> Frama_c_kernel.Filepath.t -> unit) -> unit