package goblint

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

Module SerializeSource

Serialization/deserialization of incremental analysis data.

Sourceval incremental_data_file_name : string
Sourceval results_dir : string
Sourcetype operation =
  1. | Save
  2. | Load
Sourceval incremental_dirname : operation -> string

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

Sourceval gob_directory : operation -> Fpath.t
Sourceval gob_results_dir : operation -> Fpath.t
Sourceval server : unit -> bool
Sourceval marshal : 'a -> Fpath.t -> unit
Sourceval unmarshal : Fpath.t -> 'a
Sourceval results_exist : unit -> bool
Sourcemodule 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