Up – Package index » goblint » Library goblint.lib » MutexAnalysis » WriteBased

Module `MutexAnalysis.WriteBased`

module GReadWrite : sig ... end

module GWrite : sig ... end

module G : sig ... end

val effect_fun : 
  ?write:bool ->
  Lockset.ReverseAddrSet.t ->
  LockDomain.Mutexes.t * LockDomain.Mutexes.t

val check_fun : 
  ?write:bool ->
  Lockset.ReverseAddrSet.t ->
  Mutexes.t * LockDomain.Mutexes.t