Goblint_lib.MutexGhosts
Analysis for generating ghost variables corresponding to mutexes (mutexGhosts).
mutexGhosts
module NodeSet = Queries.NS
module Spec : sig ... end