diff options
| -rw-r--r-- | tests/aiger/and.aag (renamed from tests/aig/and.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/buffer.aag (renamed from tests/aig/buffer.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/cnt1.aag (renamed from tests/aig/cnt1.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/cnt1e.aag (renamed from tests/aig/cnt1e.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/empty.aag (renamed from tests/aig/empty.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/false.aag (renamed from tests/aig/false.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/halfadder.aag (renamed from tests/aig/halfadder.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/inverter.aag (renamed from tests/aig/inverter.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/notcnt1.aag (renamed from tests/aig/notcnt1.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/notcnt1e.aag (renamed from tests/aig/notcnt1e.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/or.aag (renamed from tests/aig/or.aag) | 0 | ||||
| -rwxr-xr-x | tests/aiger/run-test.sh (renamed from tests/aig/run-test.sh) | 0 | ||||
| -rw-r--r-- | tests/aiger/toggle-re.aag (renamed from tests/aig/toggle-re.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/toggle.aag (renamed from tests/aig/toggle.aag) | 0 | ||||
| -rw-r--r-- | tests/aiger/true.aag (renamed from tests/aig/true.aag) | 0 |
15 files changed, 0 insertions, 0 deletions
diff --git a/tests/aig/and.aag b/tests/aiger/and.aag index d1ef2c5a5..d1ef2c5a5 100644 --- a/tests/aig/and.aag +++ b/tests/aiger/and.aag diff --git a/tests/aig/buffer.aag b/tests/aiger/buffer.aag index 94a6fb1ed..94a6fb1ed 100644 --- a/tests/aig/buffer.aag +++ b/tests/aiger/buffer.aag diff --git a/tests/aig/cnt1.aag b/tests/aiger/cnt1.aag index ce4f28fcb..ce4f28fcb 100644 --- a/tests/aig/cnt1.aag +++ b/tests/aiger/cnt1.aag diff --git a/tests/aig/cnt1e.aag b/tests/aiger/cnt1e.aag index 6db3f0ffd..6db3f0ffd 100644 --- a/tests/aig/cnt1e.aag +++ b/tests/aiger/cnt1e.aag diff --git a/tests/aig/empty.aag b/tests/aiger/empty.aag index 40c0f00cb..40c0f00cb 100644 --- a/tests/aig/empty.aag +++ b/tests/aiger/empty.aag diff --git a/tests/aig/false.aag b/tests/aiger/false.aag index 421e64a91..421e64a91 100644 --- a/tests/aig/false.aag +++ b/tests/aiger/false.aag diff --git a/tests/aig/halfadder.aag b/tests/aiger/halfadder.aag index 5bf54d38d..5bf54d38d 100644 --- a/tests/aig/halfadder.aag +++ b/tests/aiger/halfadder.aag diff --git a/tests/aig/inverter.aag b/tests/aiger/inverter.aag index ff7c28542..ff7c28542 100644 --- a/tests/aig/inverter.aag +++ b/tests/aiger/inverter.aag diff --git a/tests/aig/notcnt1.aag b/tests/aiger/notcnt1.aag index e92815f23..e92815f23 100644 --- a/tests/aig/notcnt1.aag +++ b/tests/aiger/notcnt1.aag diff --git a/tests/aig/notcnt1e.aag b/tests/aiger/notcnt1e.aag index 141c864f7..141c864f7 100644 --- a/tests/aig/notcnt1e.aag +++ b/tests/aiger/notcnt1e.aag diff --git a/tests/aig/or.aag b/tests/aiger/or.aag index f780e339f..f780e339f 100644 --- a/tests/aig/or.aag +++ b/tests/aiger/or.aag diff --git a/tests/aig/run-test.sh b/tests/aiger/run-test.sh index 308578f01..308578f01 100755 --- a/tests/aig/run-test.sh +++ b/tests/aiger/run-test.sh diff --git a/tests/aig/toggle-re.aag b/tests/aiger/toggle-re.aag index b662bb386..b662bb386 100644 --- a/tests/aig/toggle-re.aag +++ b/tests/aiger/toggle-re.aag diff --git a/tests/aig/toggle.aag b/tests/aiger/toggle.aag index 09651012d..09651012d 100644 --- a/tests/aig/toggle.aag +++ b/tests/aiger/toggle.aag diff --git a/tests/aig/true.aag b/tests/aiger/true.aag index 366893648..366893648 100644 --- a/tests/aig/true.aag +++ b/tests/aiger/true.aag |