Goblint_lib.ThreadDescendants
thread descendants analysis threadDescendants flow-insensitive construction of descendants may-set for every thread
threadDescendants
module TID = ThreadIdDomain.Thread
module Spec : sig ... end