Improved test coverage

CQCL · Jan 13, 2025 · dfb2f14 · dfb2f14
1 parent f5a0943
commit dfb2f14
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/hugr-core/tests/snapshots/model__roundtrip_constraints.snap b/hugr-core/tests/snapshots/model__roundtrip_constraints.snap
@@ -16,3 +16,9 @@ expression: "roundtrip(include_str!(\"../../hugr-model/tests/fixtures/model-cons
   (forall ?0 type)
   (where (nonlinear ?0))
   [(@ prelude.Array ?0)] [(@ prelude.Array ?0) (@ prelude.Array ?0)] (ext))
+
+(define-func util.copy
+  (forall ?0 type)
+  (where (nonlinear ?0))
+  [?0] [?0 ?0] (ext)
+  (dfg [%0] [%0 %0] (signature (-> [?0] [?0 ?0] (ext)))))
diff --git a/hugr-model/tests/fixtures/model-constraints.edn b/hugr-model/tests/fixtures/model-constraints.edn
@@ -11,3 +11,10 @@
   (forall ?t type)
   (where (nonlinear ?t))
   [(@ prelude.Array ?t)] [(@ prelude.Array ?t) (@ prelude.Array ?t)] (ext))
+
+(define-func util.copy
+  (forall ?t type)
+  (where (nonlinear ?t))
+  [?t] [?t ?t] (ext)
+  (dfg [%0] [%0 %0]
+    (signature (-> [?t] [?t ?t] (ext)))))