CodeQL library for C#
Search

Module AssertionSplitting

Import path

import semmle.code.csharp.controlflow.internal.Splitting

Imports

Assertions

Provides classes for assertions.

Predicates

Classes

AssertionSplit

A split for assertions. For example, in