package goblint

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

Globally accessible flags and utility functions.

Outputs information about what the goblin is doing

val should_warn : bool Stdlib.ref

If this is true we output messages and collect accesses. This is set to true in control.ml before we verify the result (or already before solving if warn = 'early')

val svcomp_may_overflow : bool Stdlib.ref

Whether signed overflow or underflow happened

val out : Stdlib.out_channel Stdlib.ref

The file where everything is output

Command for assigning an id to a varinfo. All varinfos directly created by Goblint should be modified by this method

val type_inv_tbl : (int, GoblintCil.varinfo) Stdlib.Hashtbl.t
val is_blessed : GoblintCil.typ -> GoblintCil.varinfo option
val global_initialization : bool Stdlib.ref

A hack to see if we are currently doing global inits

val earlyglobs : bool Stdlib.ref

Another hack to see if earlyglobs is enabled

val postsolving : bool Stdlib.ref

Whether currently in postsolver evaluations (e.g. verify, warn)

val verified : bool option Stdlib.ref
val escape : string -> string
val create_dir : Fpath.t -> Fpath.t

Creates a directory and returns the absolute path *

val rm_rf : Fpath.t -> unit

Remove directory and its content, as "rm -rf" would do.

exception Timeout
val timeout : ('a -> 'b) -> 'a -> float -> (unit -> unit) -> 'b
val seconds_of_duration_string : string -> int
val vars : int Stdlib.ref
val evals : int Stdlib.ref
val narrow_reuses : int Stdlib.ref
val print_gc_quick_stat : Stdlib.out_channel -> Stdlib.Gc.stat
val exe_dir : Fpath.t
val command_line : string
val signal_of_string : string -> int
val self_signal : int -> unit
val for_all_in_range : (Big_int_Z.big_int * Big_int_Z.big_int) -> (Big_int_Z.big_int -> bool) -> bool
val dummy_obj : Stdlib.Obj.t
val jobs : unit -> int
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