Member predicate CustomMutexType::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)