Goblint_lib.DeadlockDomain
Deadlock domain.
module Lock = ValueDomain.Addr
module LockEvent : sig ... end
module MayLockEvents : sig ... end