Goblint_lib.ThreadDescendantsthread descendants analysis threadDescendants flow-insensitive construction of descendants may-set for every thread
module TID = ThreadIdDomain.Threadmodule TIDs = ConcDomain.ThreadSetval must_ancestor_descendants_closure :
('a, 'b, 'c, 'd) Analyses.man ->
ThreadIdDomain.Thread.t ->
TIDs.treflexive-transitive closure of child relation applied to tid and filtered to only include threads, where tid is a must-ancestor
val get_must_ancestor_running_descendants :
('a, 'b, 'c, 'd) Analyses.man ->
TID.t ->
TIDs.tcompute all descendant threads that may run along with the ego thread at a program point. for all of them, tid must be an ancestor
module Spec : sig ... end