aboutsummaryrefslogtreecommitdiffstats
path: root/backends/btor
ModeNameSize
-rw-r--r--Makefile.inc31logstatsplain
-rw-r--r--btor.cc38868logstatsplain
-rw-r--r--test_cells.sh604logstatsplain