package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val base_directory : string Prelude.ref
val goblint_dirname : string
val version_map_filename : string
val cil_file_name : string
val solver_data_file_name : string
val results_dir : string
val results_tmp_dir : string
val gob_directory : unit -> string
val gob_results_dir : unit -> string
val gob_results_tmp_dir : unit -> string
val marshal : 'a -> string -> unit
val unmarshal : string -> 'a
val results_exist : unit -> bool
type incremental_data_kind =
  1. | SolverData
  2. | CilFile
  3. | VersionData
val type_to_file_name : incremental_data_kind -> string
val load_data : incremental_data_kind -> 'a

Loads data for incremntal runs from the appropriate file

val store_data : 'a -> incremental_data_kind -> unit

Stores data for future incremental runs at the appropriate file, given the data and what kind of data it is.

val move_tmp_results_to_results : unit -> unit

Deletes previous analysis results and moves the freshly created results there.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct