package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
val open_source : scan_references:bool -> string -> (string, string) Stdlib.result
val set_workdir : Filepath.Normalized.t -> string -> unit
val get_workdir : Filepath.Normalized.t -> string option