CodeQL library for C#
codeql/csharp-all 1.0.1 (changelog, source)
Search

Predicate assertionCompletion

Gets a valid completion when argument i fails in assertion a.

Import path

import semmle.code.csharp.controlflow.internal.Completion
Completion assertionCompletion(Assertion a, int i)