aboutsummaryrefslogtreecommitdiffstats
path: root/tests/aiger/symbols.aig
diff options
context:
space:
mode:
Diffstat (limited to 'tests/aiger/symbols.aig')
-rw-r--r--tests/aiger/symbols.aig8
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/aiger/symbols.aig b/tests/aiger/symbols.aig
new file mode 100644
index 000000000..a7922ab46
--- /dev/null
+++ b/tests/aiger/symbols.aig
@@ -0,0 +1,8 @@
+aig 2 1 1 1 0
+2 1
+4
+i0 d
+l0 q
+o0 q
+c
+Generated by Yosys 0.9+932 (git sha1 baba33fb, clang 9.0.0-2 -fPIC -Os)