package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Strs : sig ... end
val current_loc : Cil.location ref
val next_loc : Cil.location ref
val trace_sys : Strs.t ref
val activated : Strs.t ref
val active_dep : (string, Strs.t) Hashtbl.t
val tracevars : string list ref
val tracelocs : int list ref
val addsystem : Strs.elt -> unit
val activate : string -> string list -> unit
val deactivate : string -> unit
val indent_level : int ref
val traceIndent : unit -> unit
val traceOutdent : unit -> unit
val mygprintf : ('a, unit, Pretty.doc, 'b) format4 -> 'a
val traceTag : string -> Pretty.doc
val printtrace : string -> Pretty.doc -> unit
val gtrace : bool -> (Strs.elt -> Pretty.doc -> 'a) -> Strs.elt -> string option -> ?loc:Cil.location -> (unit -> 'b) -> ('c, unit, Pretty.doc, 'a) format4 -> 'c
val trace : Strs.elt -> ?var:string -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val tracel : Strs.elt -> ?var:string -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val tracei : string -> ?var:string -> ?subsys:string list -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val tracec : Strs.elt -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val traceu : Strs.elt -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val traceli : Strs.elt -> ?var:string -> ?subsys:string list -> ('a, unit, Pretty.doc, unit) format4 -> 'a
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