aboutsummaryrefslogtreecommitdiffstats
path: root/tests/aiger
ModeNameSize
-rw-r--r--.gitignore12logstatsplain
-rw-r--r--and.aag26logstatsplain
-rw-r--r--and.aig18logstatsplain
-rw-r--r--buffer.aag18logstatsplain
-rw-r--r--buffer.aig16logstatsplain
-rw-r--r--cnt1.aag22logstatsplain
-rw-r--r--cnt1.aig20logstatsplain
-rw-r--r--cnt1e.aag59logstatsplain
-rw-r--r--cnt1e.aig42logstatsplain
-rw-r--r--empty.aag14logstatsplain
-rw-r--r--empty.aig14logstatsplain
-rw-r--r--false.aag16logstatsplain
-rw-r--r--false.aig16logstatsplain
-rw-r--r--halfadder.aag78logstatsplain
-rw-r--r--halfadder.aig58logstatsplain
-rw-r--r--inverter.aag18logstatsplain
-rw-r--r--inverter.aig16logstatsplain
-rw-r--r--notcnt1.aag37logstatsplain
-rw-r--r--notcnt1.aig35logstatsplain
-rw-r--r--notcnt1e.aag59logstatsplain
-rw-r--r--notcnt1e.aig42logstatsplain
-rw-r--r--or.aag26logstatsplain
-rw-r--r--or.aig18logstatsplain
-rwxr-xr-xrun-test.sh576logstatsplain
-rw-r--r--toggle-re.aag86logstatsplain
-rw-r--r--toggle-re.aig59logstatsplain
-rw-r--r--toggle.aag22logstatsplain
-rw-r--r--toggle.aig20logstatsplain
-rw-r--r--true.aag16logstatsplain
-rw-r--r--true.aig16logstatsplain