Up – Package index » goblint » Library goblint.lib » Deadlock

Module `Deadlock`

Deadlock analysis.

val forbiddenList : 
  (DeadlockDomain.myowntypeEntry * DeadlockDomain.myowntypeEntry) list
    Prelude.Ana.ref

module Spec : sig ... end