Frama-C API - Parse_env
val open_source : scan_references:bool -> Filepath.t -> (string, string) Stdlib.resultval set_workdir : Filepath.t -> string -> unitval get_workdir : Filepath.t -> string option
Frama-C Frama-C Parse_envval open_source : scan_references:bool -> Filepath.t -> (string, string) Stdlib.resultval set_workdir : Filepath.t -> string -> unitval get_workdir : Filepath.t -> string option