| .. |
|
.gitignore
|
Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
|
2025-07-22 10:38:38 +00:00 |
|
and_.aag
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
and_.aig
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
and_to_bad_out.aag
|
read_aiger: Fix incorrect read of binary Aiger without outputs
|
2024-04-29 14:06:58 +01:00 |
|
and_to_bad_out.aig
|
read_aiger: Fix incorrect read of binary Aiger without outputs
|
2024-04-29 14:06:58 +01:00 |
|
buffer.aag
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
buffer.aig
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
cnt1.aag
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
cnt1.aig
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
cnt1e.aag
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
cnt1e.aig
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
empty.aag
|
Rename ASCII tests
|
2019-02-06 12:20:36 -08:00 |
|
empty.aig
|
Add binary AIGs converted from AAG
|
2019-02-08 11:41:25 -08:00 |
|
false.aag
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
false.aig
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
halfadder.aag
|
Rename ASCII tests
|
2019-02-06 12:20:36 -08:00 |
|
halfadder.aig
|
Add binary AIGs converted from AAG
|
2019-02-08 11:41:25 -08:00 |
|
inverter.aag
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
inverter.aig
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
io.ys
|
aiger: add regression test for sliced output segfault
|
2025-05-09 16:01:47 +02:00 |
|
neg.ys
|
tests: aiger test for wire->start_offset != 0
|
2020-05-02 10:00:32 -07:00 |
|
notcnt1.aag
|
Rename ASCII tests
|
2019-02-06 12:20:36 -08:00 |
|
notcnt1.aig
|
Add binary AIGs converted from AAG
|
2019-02-08 11:41:25 -08:00 |
|
notcnt1e.aag
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
notcnt1e.aig
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
or_.aag
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
or_.aig
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
run-test.sh
|
tests: use /usr/bin/env for bash.
|
2023-08-12 11:59:39 +10:00 |
|
symbols.aag
|
Add testcases
|
2020-01-07 11:44:20 -08:00 |
|
symbols.aig
|
Add testcases
|
2020-01-07 11:44:20 -08:00 |
|
toggle-re.aag
|
Rename ASCII tests
|
2019-02-06 12:20:36 -08:00 |
|
toggle-re.aig
|
Add binary AIGs converted from AAG
|
2019-02-08 11:41:25 -08:00 |
|
toggle.aag
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
toggle.aig
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
true.aag
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
|
true.aig
|
Add symbols to AIGER test inputs for ABC
|
2019-06-07 11:05:25 -07:00 |
