Predicate Make::MergeTests5::hasOptionalResult
Holds if there is an optional result on the specified location.
This is similar to hasActualResult, but returns results that do not require a matching annotation.
A failure will still arise if there is an annotation that does not match any results, but not vice versa.
Override this predicate to specify optional results.
Import path
import codeql.util.test.InlineExpectationsTestpredicate hasOptionalResult(Location location, string element, string tag, string value)