package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

Serialization/deserialization of incremental analysis data.

val incremental_data_file_name : string
val results_dir : string
type operation =
  1. | Save
  2. | Load
val incremental_dirname : operation -> string

Returns the name of the directory used for loading/saving incremental data

val gob_directory : operation -> Fpath.t
val gob_results_dir : operation -> Fpath.t
val server : unit -> bool
val marshal : 'a -> Fpath.t -> unit
val unmarshal : Fpath.t -> 'a
val results_exist : unit -> bool
module Cache : sig ... end

Module to cache the data for incremental analaysis during a run, before it is stored to disk, as well as for the server mode

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