CodeQL library for C#
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)