goblint.lib
ThreadJoins
goblint.sites
goblint_sites_dune
goblint_sites_js
Thread join analysis.
module TID = ThreadIdDomain.Thread
module TIDs = ConcDomain.ThreadSet
module MustTIDs = ConcDomain.MustThreadSet
module Spec : sig ... end