package goblint

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