package frama-c

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.