aboutsummaryrefslogtreecommitdiffstats
path: root/backends/btor
ModeNameSize
-rw-r--r--Makefile.inc31logstatsplain
-rw-r--r--btor.cc32977logstatsplain
-rw-r--r--test_cells.sh593logstatsplain