Module `Goblint_lib.ThreadAnalysis`

Created threads and their uniqueness analysis (thread).

module T = ThreadIdDomain.Thread

module TS = ConcDomain.ThreadSet

module Spec : sig ... end