7 references to AssertTrueWithGraph
Microsoft.CodeAnalysis.Test.Utilities (7)
Compilation\ControlFlowGraphVerifier.cs (7)
403
AssertTrueWithGraph
(currentState.Contains(id), $"Backward branch from [{getBlockId(predecessor.Source)}] to [{getBlockId(block)}] before capture [{id.Value}] is initialized.", finalGraph);
524
AssertTrueWithGraph
(referencesAfter.Length > 0 &&
780
AssertTrueWithGraph
(block.EnclosingRegion.CaptureIds.Contains(id), $"Flow capture initialization [{id}] should come from the containing region.", finalGraph);
791
AssertTrueWithGraph
(state.Contains(id) || isCaptureFromEnclosingGraph(id) || isEmptySwitchExpressionResult(reference),
803
AssertTrueWithGraph
(
815
AssertTrueWithGraph
(
822
AssertTrueWithGraph
(false, $"Operation [{operationIndex}] in [{getBlockId(block)}] uses capture [{id.Value}] from another region. Should the regions be merged?", finalGraph);