We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 465c96a commit 0c6264bCopy full SHA for 0c6264b
tests/test_parser.py
@@ -149,6 +149,23 @@ def test_io_order():
149
== circ4(data)
150
151
152
+TEST_NO_SYMBOL_TABLE = """aag 4 2 1 1 1
153
+2
154
+4
155
+6 2
156
+8
157
+8 7 5
158
+"""
159
+
160
161
+@given(st.data())
162
+def test_no_symbol_table(data):
163
+ circ1 = aigp.parse(TEST_NO_SYMBOL_TABLE)
164
+ circ2 = aigp.parse(str(circ1))
165
+ test_input = {f'{i}': data.draw(st.booleans()) for i in circ1.inputs}
166
+ assert circ1(test_input) == circ2(test_input)
167
168
169
# ----------- BINARY FILE PARSER TESTS ----------------
170
171
@given(st.data())
0 commit comments