From 8d035b280f56b0bddca76003523329757c8423a6 Mon Sep 17 00:00:00 2001
From: Seyon Sivarajah <seyon.sivarajah@quantinuum.com>
Date: Fri, 10 Nov 2023 08:55:26 +0000
Subject: [PATCH] test: cover angle equality and name

---
 tket2/src/extension/angle.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tket2/src/extension/angle.rs b/tket2/src/extension/angle.rs
index 28b4d5d2..31292728 100644
--- a/tket2/src/extension/angle.rs
+++ b/tket2/src/extension/angle.rs
@@ -297,6 +297,11 @@ mod test {
         assert_eq!(const_af1.log_denom(), 5);
 
         assert!(ConstAngle::from_radians_rounding(54, 0.21874 * TAU).is_err());
+
+        assert!(const_a32_7.equal_consts(&ConstAngle::new(5, 7).unwrap()));
+        assert_ne!(const_a32_7, const_a33_7);
+
+        assert_eq!(const_a32_8.name(), "a(2π*8/2^6)");
     }
     #[test]
     fn test_binop_sig() {