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