Add binary AIGs converted from AAG

diff --git a/tests/aiger/and.aig b/tests/aiger/and.aig
new file mode 100644 (file)
index 0000000..da0fa07
--- /dev/null
+++ b/tests/aiger/and.aig
@@ -0,0 +1,3 @@
+aig 3 2 0 1 1
+6
+\ 2\ 2
\ No newline at end of file

diff --git a/tests/aiger/buffer.aig b/tests/aiger/buffer.aig
new file mode 100644 (file)
index 0000000..0c715fd
--- /dev/null
+++ b/tests/aiger/buffer.aig
@@ -0,0 +1,2 @@
+aig 1 1 0 1 0
+2

diff --git a/tests/aiger/cnt1.aig b/tests/aiger/cnt1.aig
new file mode 100644 (file)
index 0000000..8d0ba13
--- /dev/null
+++ b/tests/aiger/cnt1.aig
@@ -0,0 +1,3 @@
+aig 1 0 1 0 0 1
+3
+2

diff --git a/tests/aiger/cnt1e.aig b/tests/aiger/cnt1e.aig
new file mode 100644 (file)
index 0000000..d8d159f
--- /dev/null
+++ b/tests/aiger/cnt1e.aig
@@ -0,0 +1,4 @@
+aig 5 1 1 0 3 1
+10
+4
+\ 1\ 2\ 4\ 2\ 1\ 2b0 AIGER_NEVER

diff --git a/tests/aiger/empty.aig b/tests/aiger/empty.aig
new file mode 100644 (file)
index 0000000..a28373c
--- /dev/null
+++ b/tests/aiger/empty.aig
@@ -0,0 +1 @@
+aig 0 0 0 0 0

diff --git a/tests/aiger/false.aig b/tests/aiger/false.aig
new file mode 100644 (file)
index 0000000..ad7d039
--- /dev/null
+++ b/tests/aiger/false.aig
@@ -0,0 +1,2 @@
+aig 0 0 0 1 0
+0

diff --git a/tests/aiger/halfadder.aig b/tests/aiger/halfadder.aig
new file mode 100644 (file)
index 0000000..83727ee
--- /dev/null
+++ b/tests/aiger/halfadder.aig
@@ -0,0 +1,9 @@
+aig 5 2 0 2 3
+10
+6
+\ 2\ 2\ 3\ 2\ 1\ 2i0 x
+i1 y
+o0 s
+o1 c
+c
+half adder

diff --git a/tests/aiger/inverter.aig b/tests/aiger/inverter.aig
new file mode 100644 (file)
index 0000000..525d823
--- /dev/null
+++ b/tests/aiger/inverter.aig
@@ -0,0 +1,2 @@
+aig 1 1 0 1 0
+3

diff --git a/tests/aiger/notcnt1.aig b/tests/aiger/notcnt1.aig
new file mode 100644 (file)
index 0000000..f8a667f
--- /dev/null
+++ b/tests/aiger/notcnt1.aig
@@ -0,0 +1,4 @@
+aig 1 0 1 0 0 1
+3
+3
+b0 AIGER_NEVER

diff --git a/tests/aiger/notcnt1e.aig b/tests/aiger/notcnt1e.aig
new file mode 100644 (file)
index 0000000..7c85a72
--- /dev/null
+++ b/tests/aiger/notcnt1e.aig
@@ -0,0 +1,4 @@
+aig 5 1 1 0 3 1
+10
+5
+\ 1\ 2\ 4\ 2\ 1\ 2b0 AIGER_NEVER

diff --git a/tests/aiger/or.aig b/tests/aiger/or.aig
new file mode 100644 (file)
index 0000000..75c9e44
--- /dev/null
+++ b/tests/aiger/or.aig
@@ -0,0 +1,3 @@
+aig 3 2 0 1 1
+7
+\ 1\ 2
\ No newline at end of file

diff --git a/tests/aiger/toggle-re.aig b/tests/aiger/toggle-re.aig
new file mode 100644 (file)
index 0000000..9d6730f
--- /dev/null
+++ b/tests/aiger/toggle-re.aig
@@ -0,0 +1,8 @@
+aig 7 2 1 2 4
+14
+6
+7
+\ 2\ 4\ 3\ 4\ 1\ 2\ 2\bi0 enable
+i1 reset
+o0 Q
+o1 !Q

diff --git a/tests/aiger/toggle.aig b/tests/aiger/toggle.aig
new file mode 100644 (file)
index 0000000..b69e21a
--- /dev/null
+++ b/tests/aiger/toggle.aig
@@ -0,0 +1,4 @@
+aig 1 0 1 2 0
+3
+2
+3

diff --git a/tests/aiger/true.aig b/tests/aiger/true.aig
new file mode 100644 (file)
index 0000000..10086f3
--- /dev/null
+++ b/tests/aiger/true.aig
@@ -0,0 +1,2 @@
+aig 0 0 0 1 0
+1