Actually increase test coverage

CQCL · Jan 13, 2025 · 03c0f83 · 03c0f83
1 parent 232eabf
commit 03c0f83
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 8 deletions.
diff --git a/hugr-core/tests/snapshots/model__roundtrip_cfg.snap b/hugr-core/tests/snapshots/model__roundtrip_cfg.snap
@@ -21,9 +21,12 @@ expression: "roundtrip(include_str!(\"../../hugr-model/tests/fixtures/model-cfg.
             [%4] [%5]
             (signature (-> [?0] [(adt [[?0]])] (ext)))
             (tag 0 [%4] [%5] (signature (-> [?0] [(adt [[?0]])] (ext))))))
-        (block [%6] [%3]
-          (signature (-> [(ctrl [?0])] [(ctrl [?0])] (ext)))
+        (block [%6] [%3 %9]
+          (signature (-> [(ctrl [?0])] [(ctrl [?0]) (ctrl [?0])] (ext)))
           (dfg
             [%7] [%8]
-            (signature (-> [?0] [(adt [[?0]])] (ext)))
-            (tag 0 [%7] [%8] (signature (-> [?0] [(adt [[?0]])] (ext))))))))))
+            (signature (-> [?0] [(adt [[?0] [?0]])] (ext)))
+            (tag
+              0
+              [%7] [%8]
+              (signature (-> [?0] [(adt [[?0] [?0]])] (ext))))))))))
diff --git a/hugr-model/tests/fixtures/model-cfg.edn b/hugr-model/tests/fixtures/model-cfg.edn
@@ -9,9 +9,9 @@
       (signature (-> [?a] [?a] (ext)))
       (cfg [%2] [%4]
         (signature (-> [(ctrl [?a])] [(ctrl [?a])] (ext)))
-        (block [%2] [%4]
-          (signature (-> [(ctrl [?a])] [(ctrl [?a])] (ext)))
+        (block [%2] [%4 %2]
+          (signature (-> [(ctrl [?a])] [(ctrl [?a]) (ctrl [?a])] (ext)))
           (dfg [%5] [%6]
-            (signature (-> [?a] [(adt [[?a]])] (ext)))
+            (signature (-> [?a] [(adt [[?a] [?a]])] (ext)))
             (tag 0 [%5] [%6]
-              (signature (-> [?a] [(adt [[?a]])] (ext))))))))))
+              (signature (-> [?a] [(adt [[?a] [?a]])] (ext))))))))))