Fixed a bug in pretty printer

UQ-PAC · Nov 21, 2023 · 6f6f642 · 6f6f642
1 parent abe8f30
commit 6f6f642
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/util/RunUtils.scala b/src/main/scala/util/RunUtils.scala
@@ -246,7 +246,7 @@ object RunUtils {
     def printNode(node: CfgNode): Unit = {
       s.append(node)
       s.append(" :: ")
-      s.append(result(node))
+      s.append(if result.contains(node) then result(node) else "Unreachable")
       s.append(System.lineSeparator())
     }