Better test coverage

CQCL · Aug 27, 2024 · 9c646b3 · 9c646b3
1 parent e72e8dd
commit 9c646b3
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/hugr-core/src/std_extensions/collections.rs b/hugr-core/src/std_extensions/collections.rs
@@ -337,7 +337,9 @@ mod test {
 
     #[test]
     fn test_extension() {
-        assert_eq!(EXTENSION.name(), &EXTENSION_ID);
+        assert_eq!(&ListOp::push.extension_id(), EXTENSION.name());
+        assert_eq!(&ListOp::push.extension(), EXTENSION.name());
+        assert!(ListOp::pop.registry().contains(EXTENSION.name()));
         for (_, op_def) in EXTENSION.operations() {
             assert_eq!(op_def.extension(), &EXTENSION_ID);
         }