package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Lock of LockDomain.Addr.t
  2. | Unlock of LockDomain.Addr.t
  3. | Escape of EscapeDomain.EscapedVars.t
  4. | EnterMultiThreaded
  5. | SplitBranch of Prelude.Ana.exp * bool
    (*

    Used to simulate old branch-based split.

    *)
  6. | AssignSpawnedThread of Prelude.Ana.lval * ThreadIdDomain.Thread.t
    (*

    Assign spawned thread's ID to lval.

    *)
val pretty : unit -> t -> Prelude.Ana.doc
OCaml

Innovation. Community. Security.