Module Goblint_lib.ThreadId

Current thread ID analysis (threadid).

module LF = LibraryFunctions
module Thread = ThreadIdDomain.Thread
module ThreadLifted = ThreadIdDomain.ThreadLifted
val get_current : Queries.ask -> ThreadLifted.t
val get_current_unlift : Queries.ask -> Thread.t
module VNI : sig ... end
module Spec : sig ... end