Up – Package index » goblint » Library goblint.lib » 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 ->
  [ `Lifted of BatSet.Make(Goblint_lib.ValueDomain.Addr).t | `Top ]
  * [ `Lifted of BatSet.Make(Goblint_lib.ValueDomain.Addr).t | `Top ]

val check_fun : 
  ?write:bool ->
  Lockset.ReverseAddrSet.t ->
  Mutexes.t * [ `Lifted of BatSet.Make(Goblint_lib.ValueDomain.Addr).t | `Top ]