Module BooleanSplitting

Import path


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

BooleanSplit	A split for elements that can reach a condition where this split determines the Boolean value that the condition evaluates to. For example, in
BooleanSplitSubKind	A sub-classification of Boolean splits.
SsaBooleanSplitSubKind	A Boolean split that records the value of a Boolean SSA variable.