summaryrefslogtreecommitdiffstats
path: root/src/aig/cec
ModeNameSize
-rw-r--r--cecSat.c7681logstatsplain