add fallback edge for SwitchInt

runtimeverification · Jan 28, 2025 · d04bb6a · d04bb6a
1 parent 8131fcd
commit d04bb6a
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -125,5 +125,13 @@ integration-test: build
 	[ -z "$$errors" ] || (echo "===============\nFAILING TESTS:$$errors"; exit 1)
 
 
+integration-json: 
+	$(MAKE) run-golden SUFFIX=json NORMALIZE="jq -S -e -f $(TESTDIR)/../normalise-filter.jq"
+
+integration-dot: 
+	$(MAKE) run-golden SUFFIX=dot
+
+integration-test: integration-json integration-dot
+
 golden:
 	make integration-test DIFF=">"
diff --git a/src/mk_graph.rs b/src/mk_graph.rs
@@ -109,7 +109,12 @@ impl SmirJson<'_> {
                       .edge(&this_block, block_name(name, t))
                       .attributes()
                       .set_label(&format!("{d}"));
-                  }
+                  };
+                  cluster
+                    .edge(&this_block, block_name(name, targets.otherwise()))
+                    .attributes()
+                    .set_label("other");
+
                 },
                 Resume{} => {
                   n.set_label("Resume");