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 |
import semmle.code.csharp.controlflow.internal.Splitting
Assertions | Provides classes for assertions. |
AssertionSplit | A split for assertions. For example, in |