zx test

dakk · Dec 20, 2023 · 028c1d4 · 028c1d4
1 parent 08aa7fc
commit 028c1d4
Showing 1 changed file with 14 additions and 2 deletions.
diff --git a/test/test_qlassf_zxsimp.py b/test/test_qlassf_zxsimp.py
@@ -33,11 +33,23 @@
 
 @parameterized_class(("compiler"), ENABLED_COMPILERS)
 class TestQlassfZXSimp(unittest.TestCase):
-    def test_int_const_compare_eq(self):
-        f = "def test(a: Qint2) -> bool:\n\treturn a == 2"
+    def test_bool_not(self):
+        f = "def test(a: bool) -> bool:\n\treturn not a"
         qf = qlassf(f, to_compile=COMPILATION_ENABLED, compiler=self.compiler)
         qf.circuit().zx_simplify()
         compute_and_compare_results(self, qf)
+
+    def test_bool_and(self):
+        f = "def test(a: bool, b: bool) -> bool:\n\treturn not a and b"
+        qf = qlassf(f, to_compile=COMPILATION_ENABLED, compiler=self.compiler)
+        qf.circuit().zx_simplify()
+        compute_and_compare_results(self, qf)
+
+    # def test_int_const_compare_eq(self):
+    #     f = "def test(a: Qint2) -> bool:\n\treturn a == 2"
+    #     qf = qlassf(f, to_compile=COMPILATION_ENABLED, compiler=self.compiler)
+    #     qf.circuit().zx_simplify()
+    #     compute_and_compare_results(self, qf)
 
     # def test_const_int_compare_gt(self):
     #     f = f"def test(a: Qint2) -> bool:\n\treturn a > 2"