package goblint

  1. Overview
  2. Docs

Module Events

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