package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val goto : ?may:bool -> ?change_state:bool -> D.V.k -> D.V.s -> D.t -> D.V.s list -> D.t
val equal_exp : ('a, 'b, 'c) Analyses.ctx -> [> `Bool of bool | `Error of string | `Float of float | `Free | `Ident of 'd | `Int of int | `Regex of string | `String of string | `Var of 'e ] -> Prelude.Ana.exp -> bool
val check_constraint : ('a, 'b, 'c) Analyses.ctx -> (SC.stmt -> Cil.lval option) -> ((D.V.s * D.V.s list * bool * D.V.s * SC.stmt) -> bool) -> D.t -> (D.V.s * D.V.s) option -> Cil.lval option -> (D.V.s * D.V.s list * bool * D.V.s * SC.stmt) -> (D.t * bool * (D.V.s * D.V.s) option * Cil.lval option) option
val check : (D.t, 'a, 'b) Analyses.ctx -> (SC.stmt -> Cil.lval option) -> ((D.V.s * D.V.s list * bool * D.V.s * SC.stmt) -> bool) -> D.t