Modify testcase

kupl · Nov 25, 2024 · dc1c813 · dc1c813
1 parent daeec32
commit dc1c813
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tests/test_transition.py b/tests/test_transition.py
@@ -9,6 +9,7 @@
     Gate,
     GateCmd,
     H,
+    HoleAexp,
     Integer,
     Pgm,
     SeqCmd,
@@ -92,4 +93,5 @@ def test_next_aexp():
         assert type(pgm.body.gate.qreg2.a) in aexp_types
         if type(pgm.body.gate.qreg2.a) not in [Integer, Var]:
             aexp_types.remove(type(pgm.body.gate.qreg2.a))
+        assert isinstance(pgm.body.gate.qreg2.b, HoleAexp)
     assert len(aexp_types) == 3