From dc1c8138ceabf8515f13dd7d854d27e1ae1f2901 Mon Sep 17 00:00:00 2001
From: HaYeong Lee <110161434+glorialeezero@users.noreply.github.com>
Date: Mon, 25 Nov 2024 04:56:59 +0000
Subject: [PATCH] Modify testcase

---
 tests/test_transition.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/test_transition.py b/tests/test_transition.py
index 4d34822..fc2a4eb 100644
--- 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