aboutsummaryrefslogtreecommitdiffstats
path: root/tests/aiger
ModeNameSize
-rw-r--r--.gitignore31logstatsplain
-rw-r--r--and_.aag47logstatsplain
-rw-r--r--and_.aig39logstatsplain
-rw-r--r--buffer.aag32logstatsplain
-rw-r--r--buffer.aig30logstatsplain
-rw-r--r--cnt1.aag29logstatsplain
-rw-r--r--cnt1.aig27logstatsplain
-rw-r--r--cnt1e.aag66logstatsplain
-rw-r--r--cnt1e.aig49logstatsplain
-rw-r--r--empty.aag14logstatsplain
-rw-r--r--empty.aig14logstatsplain
-rw-r--r--false.aag23logstatsplain
-rw-r--r--false.aig23logstatsplain
-rw-r--r--halfadder.aag78logstatsplain
-rw-r--r--halfadder.aig58logstatsplain
-rw-r--r--inverter.aag32logstatsplain
-rw-r--r--inverter.aig30logstatsplain
-rw-r--r--neg.ys836logstatsplain
-rw-r--r--notcnt1.aag37logstatsplain
-rw-r--r--notcnt1.aig35logstatsplain
-rw-r--r--notcnt1e.aag66logstatsplain
-rw-r--r--notcnt1e.aig49logstatsplain
-rw-r--r--or_.aag47logstatsplain
-rw-r--r--or_.aig39logstatsplain
-rwxr-xr-xrun-test.sh1521logstatsplain
-rw-r--r--symbols.aag113logstatsplain
-rw-r--r--symbols.aig109logstatsplain
-rw-r--r--toggle-re.aag86logstatsplain
-rw-r--r--toggle-re.aig59logstatsplain
-rw-r--r--toggle.aag36logstatsplain
-rw-r--r--toggle.aig34logstatsplain
-rw-r--r--true.aag23logstatsplain
-rw-r--r--true.aig23logstatsplain