aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger
ModeNameSize
-rw-r--r--Makefile.inc33logstatsplain
-rw-r--r--aiger.cc20278logstatsplain