Predicate trylockCall
Holds if call is a call that tries to lock its argument arg, but may
return without success.
Import path
import cpppredicate trylockCall(Expr arg, FunctionCall call)Holds if call is a call that tries to lock its argument arg, but may
return without success.
import cpppredicate trylockCall(Expr arg, FunctionCall call)