Member predicate DefaultMutexType::trylockAccess
Holds if fc is a call that tries to lock mutex arg
of this type, but may return without success.
predicate trylockAccess(FunctionCall fc, Expr arg)Holds if fc is a call that tries to lock mutex arg
of this type, but may return without success.
predicate trylockAccess(FunctionCall fc, Expr arg)