Add symbols to AIGER test inputs for ABC

diff --git a/tests/aiger/and.aag b/tests/aiger/and.aag
deleted file mode 100644 (file)
index d1ef2c5..0000000
--- a/tests/aiger/and.aag
+++ /dev/null
@@ -1,5 +0,0 @@
-aag 3 2 0 1 1
-2
-4
-6
-6 2 4

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

diff --git a/tests/aiger/and_.aag b/tests/aiger/and_.aag
new file mode 100644 (file)
index 0000000..cadd505
--- /dev/null
+++ b/tests/aiger/and_.aag
@@ -0,0 +1,8 @@
+aag 3 2 0 1 1
+2
+4
+6
+6 2 4
+i0 pi0
+i1 pi1
+o0 po0

diff --git a/tests/aiger/and_.aig b/tests/aiger/and_.aig
new file mode 100644 (file)
index 0000000..13c7a0c
--- /dev/null
+++ b/tests/aiger/and_.aig
@@ -0,0 +1,5 @@
+aig 3 2 0 1 1
+6
+\ 2\ 2i0 pi0
+i1 pi1
+o0 po0

diff --git a/tests/aiger/buffer.aag b/tests/aiger/buffer.aag
index 94a6fb1eddf0ad08ba7802baf19d2c1df3ee809d..211106ed6c10a3a7e13e6c1d0b1892b1535de291 100644 (file)
--- a/tests/aiger/buffer.aag
+++ b/tests/aiger/buffer.aag
@@ -1,3 +1,5 @@
 aag 1 1 0 1 0
 2
 2
+i0 pi0
+o0 po0

diff --git a/tests/aiger/buffer.aig b/tests/aiger/buffer.aig
index 0c715fdeb054e30d03919c6b362cf48d830ba07d..01df6f1cff207e51b614aaf811a951ab42f81008 100644 (file)
--- a/tests/aiger/buffer.aig
+++ b/tests/aiger/buffer.aig
@@ -1,2 +1,4 @@
 aig 1 1 0 1 0
 2
+i0 pi0
+o0 po0

diff --git a/tests/aiger/cnt1.aag b/tests/aiger/cnt1.aag
index ce4f28fcb71c2bca7883ecb9dcde6beb8f1ffac5..75598862c6a98b00ce43f324e21a5c45dce251f8 100644 (file)
--- a/tests/aiger/cnt1.aag
+++ b/tests/aiger/cnt1.aag
@@ -1,3 +1,4 @@
 aag 1 0 1 0 0 1
 2 3
 2
+b0 po0

diff --git a/tests/aiger/cnt1.aig b/tests/aiger/cnt1.aig
index 8d0ba13b18fb0609bf4a287ee4a9c02f4fcb3755..6fcf6252280070edbced124c49cef565c7f00976 100644 (file)
--- a/tests/aiger/cnt1.aig
+++ b/tests/aiger/cnt1.aig
@@ -1,3 +1,4 @@
 aig 1 0 1 0 0 1
 3
 2
+b0 po0

diff --git a/tests/aiger/cnt1e.aag b/tests/aiger/cnt1e.aag
index 6db3f0ffd859c2c8eda70ea83ca59c97f46d2496..35cd5a482593d113bceb17687d4d4a9110a3d539 100644 (file)
--- a/tests/aiger/cnt1e.aag
+++ b/tests/aiger/cnt1e.aag
@@ -6,3 +6,4 @@ aag 5 1 1 0 3 1
 8 4 2
 10 9 7
 b0 AIGER_NEVER
+i0 po0

diff --git a/tests/aiger/cnt1e.aig b/tests/aiger/cnt1e.aig
index d8d159f114ceeff4a124aa8437565cab4de58c8a..7284dd42ab0eba983751f72ae7fff3f1414314c5 100644 (file)
--- a/tests/aiger/cnt1e.aig
+++ b/tests/aiger/cnt1e.aig
@@ -1,4 +1,5 @@
 aig 5 1 1 0 3 1
 10
 4
-\ 1\ 2\ 4\ 2\ 1\ 2b0 AIGER_NEVER
+\ 1\ 2\ 4\ 2\ 1\ 2i0 po0
+b0 AIGER_NEVER

diff --git a/tests/aiger/false.aag b/tests/aiger/false.aag
index 421e64a9185acd9d159d9bb11346c33504f585b1..bab4a06a6afb92ff51ab8b313c2c093fb0158ca1 100644 (file)
--- a/tests/aiger/false.aag
+++ b/tests/aiger/false.aag
@@ -1,2 +1,3 @@
 aag 0 0 0 1 0
 0
+o0 po0

diff --git a/tests/aiger/false.aig b/tests/aiger/false.aig
index ad7d039fa6392238bb06c82c7934d64565b42e0f..4dc442d7b8ab1b567389cf3ce4c6f010b0361e6f 100644 (file)
--- a/tests/aiger/false.aig
+++ b/tests/aiger/false.aig
@@ -1,2 +1,3 @@
 aig 0 0 0 1 0
 0
+o0 po0

diff --git a/tests/aiger/inverter.aag b/tests/aiger/inverter.aag
index ff7c28542925cdbadc62a168f294acf33a272dfd..428bad9e41af78908d306db4c225339478c84ac6 100644 (file)
--- a/tests/aiger/inverter.aag
+++ b/tests/aiger/inverter.aag
@@ -1,3 +1,5 @@
 aag 1 1 0 1 0
 2
 3
+i0 pi0
+o0 po0

diff --git a/tests/aiger/inverter.aig b/tests/aiger/inverter.aig
index 525d82392eaf111dfb6724e7344f0020d6689207..5bec90ae351e47e53394de68156e566ff91afd6d 100644 (file)
--- a/tests/aiger/inverter.aig
+++ b/tests/aiger/inverter.aig
@@ -1,2 +1,4 @@
 aig 1 1 0 1 0
 3
+i0 pi0
+o0 po0

diff --git a/tests/aiger/notcnt1e.aag b/tests/aiger/notcnt1e.aag
index 141c864f7e0328460d71ec85a582d62af0a276d2..2ed645d8424b6828a888d9a9d78b6df0a77fbcfa 100644 (file)
--- a/tests/aiger/notcnt1e.aag
+++ b/tests/aiger/notcnt1e.aag
@@ -6,3 +6,4 @@ aag 5 1 1 0 3 1
 8 4 2
 10 9 7
 b0 AIGER_NEVER
+i0 pi0

diff --git a/tests/aiger/notcnt1e.aig b/tests/aiger/notcnt1e.aig
index 7c85a7290665b8fdcf04760e903f60d81419eea2..fd7e94508605e766d5d7ec29711bcb72f7f84dc1 100644 (file)
--- a/tests/aiger/notcnt1e.aig
+++ b/tests/aiger/notcnt1e.aig
@@ -1,4 +1,5 @@
 aig 5 1 1 0 3 1
 10
 5
-\ 1\ 2\ 4\ 2\ 1\ 2b0 AIGER_NEVER
+\ 1\ 2\ 4\ 2\ 1\ 2i0 pi0
+b0 AIGER_NEVER

diff --git a/tests/aiger/or.aag b/tests/aiger/or.aag
deleted file mode 100644 (file)
index f780e33..0000000
--- a/tests/aiger/or.aag
+++ /dev/null
@@ -1,5 +0,0 @@
-aag 3 2 0 1 1
-2
-4
-7
-6 3 5

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

diff --git a/tests/aiger/or_.aag b/tests/aiger/or_.aag
new file mode 100644 (file)
index 0000000..0f619db
--- /dev/null
+++ b/tests/aiger/or_.aag
@@ -0,0 +1,8 @@
+aag 3 2 0 1 1
+2
+4
+7
+6 3 5
+i0 pi0
+i1 pi1
+o0 po0

diff --git a/tests/aiger/or_.aig b/tests/aiger/or_.aig
new file mode 100644 (file)
index 0000000..0516875
--- /dev/null
+++ b/tests/aiger/or_.aig
@@ -0,0 +1,5 @@
+aig 3 2 0 1 1
+7
+\ 1\ 2i0 pi0
+i1 pi1
+o0 po0

diff --git a/tests/aiger/toggle.aag b/tests/aiger/toggle.aag
index 09651012dd517b87969b829d8b0b23b85afc405c..b1a1582d70832cad8d7636e4f0f08616d0cfe17d 100644 (file)
--- a/tests/aiger/toggle.aag
+++ b/tests/aiger/toggle.aag
@@ -2,3 +2,5 @@ aag 1 0 1 2 0
 2 3
 2
 3
+o0 po0
+o1 po1

diff --git a/tests/aiger/toggle.aig b/tests/aiger/toggle.aig
index b69e21aaff8753476195807e006c74fe98dd49b2..68b41763fa59a24a2e66abc88de51d02ac1adc6a 100644 (file)
--- a/tests/aiger/toggle.aig
+++ b/tests/aiger/toggle.aig
@@ -2,3 +2,5 @@ aig 1 0 1 2 0
 3
 2
 3
+o0 po0
+o1 po1

diff --git a/tests/aiger/true.aag b/tests/aiger/true.aag
index 366893648978ab2a910eb656645f0302f9ffe03e..66a9eab46b68661cced5a01e320b770fdf623885 100644 (file)
--- a/tests/aiger/true.aag
+++ b/tests/aiger/true.aag
@@ -1,2 +1,3 @@
 aag 0 0 0 1 0
 1
+o0 po0

diff --git a/tests/aiger/true.aig b/tests/aiger/true.aig
index 10086f389d3b31384795b0fb193761673a4df642..f9bad600061237c1eb8187acbad2e527b9da1934 100644 (file)
--- a/tests/aiger/true.aig
+++ b/tests/aiger/true.aig
@@ -1,2 +1,3 @@
 aig 0 0 0 1 0
 1
+o0 po0