package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val buff_size : int
val comb_suffix : string
val exec_command : ?path:Fpath.t -> string -> Goblint_lib.Prelude.Unix.process_status * string
val find_file_by_suffix : Fpath.t -> string -> Fpath.t
val remove_comb_files : Fpath.t -> unit
val run_cilly : Fpath.t -> all_cppflags:string list -> unit
val generate_and_combine : Fpath.t -> all_cppflags:string list -> Fpath.t