Member predicate MutexType::lockAccess
Holds if fc is n call that locks or tries to lock mutex
arg of this type.
predicate lockAccess(FunctionCall fc, Expr arg)Holds if fc is n call that locks or tries to lock mutex
arg of this type.
predicate lockAccess(FunctionCall fc, Expr arg)