Module `Goblint_lib.ThreadFlag`

Multi-threadedness analysis (threadflag).

module LF = LibraryFunctions

val is_currently_multi : Queries.ask -> bool

val has_ever_been_multi : Queries.ask -> bool

module Spec : sig ... end