Module Goblint_lib.Deadlock

Deadlock analysis (deadlock).

module Spec : sig ... end