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

Module `MutexAnalysis.MyParam`

module G = LockDomain.Simple

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

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