Add symbols to AIGER test inputs for ABC

2019-06-07 11:05:25 -07:00 · 2019-06-07 11:05:25 -07:00 · 1b113a0574
parent 6d49145497
commit 1b113a0574
22 changed files with 40 additions and 8 deletions
--- a/tests/aiger/and.aig
+++ b/tests/aiger/and.aig
@ -1,3 +0,0 @@
-aig 3 2 0 1 1
-6
-
--- a/tests/aiger/and_.aag
+++ b/tests/aiger/and_.aag
@ -3,3 +3,6 @@ aag 3 2 0 1 1
 4
 6
 6 2 4
+i0 pi0
+i1 pi1
+o0 po0
--- a/tests/aiger/and_.aig
+++ b/tests/aiger/and_.aig
@ -0,0 +1,5 @@
+aig 3 2 0 1 1
+6
+i0 pi0
+i1 pi1
+o0 po0
--- 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
--- 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
--- 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
--- 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
--- 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
--- a/tests/aiger/cnt1e.aig
+++ b/tests/aiger/cnt1e.aig
@ -1,4 +1,5 @@
 aig 5 1 1 0 3 1
 10
 4
-b0 AIGER_NEVER
+i0 po0
+b0 AIGER_NEVER
--- a/tests/aiger/false.aag
+++ b/tests/aiger/false.aag
@ -1,2 +1,3 @@
 aag 0 0 0 1 0
 0
+o0 po0
--- a/tests/aiger/false.aig
+++ b/tests/aiger/false.aig
@ -1,2 +1,3 @@
 aig 0 0 0 1 0
 0
+o0 po0
--- 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
--- 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
--- 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
--- a/tests/aiger/notcnt1e.aig
+++ b/tests/aiger/notcnt1e.aig
@ -1,4 +1,5 @@
 aig 5 1 1 0 3 1
 10
 5
-b0 AIGER_NEVER
+i0 pi0
+b0 AIGER_NEVER
--- a/tests/aiger/or.aig
+++ b/tests/aiger/or.aig
@ -1,3 +0,0 @@
-aig 3 2 0 1 1
-7
-
--- a/tests/aiger/or_.aag
+++ b/tests/aiger/or_.aag
@ -3,3 +3,6 @@ aag 3 2 0 1 1
 4
 7
 6 3 5
+i0 pi0
+i1 pi1
+o0 po0
--- a/tests/aiger/or_.aig
+++ b/tests/aiger/or_.aig
@ -0,0 +1,5 @@
+aig 3 2 0 1 1
+7
+i0 pi0
+i1 pi1
+o0 po0
--- 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
--- 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
--- a/tests/aiger/true.aag
+++ b/tests/aiger/true.aag
@ -1,2 +1,3 @@
 aag 0 0 0 1 0
 1
+o0 po0
--- a/tests/aiger/true.aig
+++ b/tests/aiger/true.aig
@ -1,2 +1,3 @@
 aig 0 0 0 1 0
 1
+o0 po0