Add testcases
authorEddie Hung <eddie@fpgeh.com>
Tue, 7 Jan 2020 19:44:20 +0000 (11:44 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 7 Jan 2020 19:44:20 +0000 (11:44 -0800)
tests/aiger/symbols.aag [new file with mode: 0644]
tests/aiger/symbols.aig [new file with mode: 0644]

diff --git a/tests/aiger/symbols.aag b/tests/aiger/symbols.aag
new file mode 100644 (file)
index 0000000..93f8989
--- /dev/null
@@ -0,0 +1,9 @@
+aag 2 1 1 1 0
+2
+4 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)
diff --git a/tests/aiger/symbols.aig b/tests/aiger/symbols.aig
new file mode 100644 (file)
index 0000000..a7922ab
--- /dev/null
@@ -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)