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)