Member predicate DefaultMutexType::unlockAccess
Holds if fc
is a call that unlocks mutex arg
of this type.
predicate unlockAccess(FunctionCall fc, Expr arg)
Holds if fc
is a call that unlocks mutex arg
of this type.
predicate unlockAccess(FunctionCall fc, Expr arg)