Ensure ControlFlowGraph tests completely assert block terminators

jgardn3r · cirras · commit 22367888d2c7 · 2025-03-21T11:17:36.000+11:00
diff --git a/delphi-frontend/src/test/java/au/com/integradev/delphi/cfg/checker/BlockChecker.java b/delphi-frontend/src/test/java/au/com/integradev/delphi/cfg/checker/BlockChecker.java
@@ -85,7 +85,7 @@ public void check(final Block block) {
     if (terminatorChecker != null) {
       terminatorChecker.check(block);
     } else {
-      assertThat(block.getSuccessors())
+      assertThat(block)
           .withFailMessage("%s should have its terminator specified", getBlockDisplay(block))
           .isNotInstanceOf(Terminated.class);
     }

Original file line number	Diff line number	Diff line change
`@@ -85,7 +85,7 @@ public void check(final Block block) {`
`85`	`85`	`if (terminatorChecker != null) {`
`86`	`86`	`terminatorChecker.check(block);`
`87`	`87`	`} else {`
`88`		`- assertThat(block.getSuccessors())`
	`88`	`+ assertThat(block)`
`89`	`89`	`.withFailMessage("%s should have its terminator specified", getBlockDisplay(block))`
`90`	`90`	`.isNotInstanceOf(Terminated.class);`
`91`	`91`	`}`