package goblint

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

Parameters

module LH : Prelude.Hashtbl.S with type key = S.LVar.t
module GH : Prelude.Hashtbl.S with type key = S.GVar.t

Signature

val enabled : bool Prelude.ref
val step : int Prelude.ref
val stopped : bool Prelude.ref
val interact_init : unit -> unit
val loc_start : 'a BatInnerIO.output -> unit
val glob_start : 'a BatInnerIO.output -> unit
val loc_end : 'a BatInnerIO.output -> unit
val glob_end : 'a BatInnerIO.output -> unit
val write_one_call : S.LVar.t -> S.D.t -> 'a BatInnerIO.output -> unit
val write_one_glob : S.GVar.t -> S.G.t -> 'a BatInnerIO.output -> unit
val mkdirs : string list -> string
val warning_id : int Prelude.ref
val writeXmlWarnings : unit -> unit
module SSH : sig ... end
val funs : string Prelude.Set.t SSH.t
module NH : sig ... end
val liveness : unit NH.t
val updated_l : unit NH.t
val updated_g : unit GH.t
val write_files : S.D.t LH.t -> S.G.t GH.t -> unit
val write_updates : unit -> unit
val write_index : unit -> unit
val delete_old_results : unit -> unit
val write_all : S.D.t LH.t -> S.G.t GH.t -> unit
val update_var_event_local : S.D.t LH.t -> S.G.t GH.t -> S.LVar.t -> 'a -> S.D.t -> unit
val update_var_event_global : 'a -> 'b -> GH.key -> 'c -> 'd -> unit
val done_event : S.D.t LH.t -> S.G.t GH.t -> unit
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