summaryrefslogtreecommitdiffstats
path: root/src/opt/sim
ModeNameSize
-rw-r--r--module.make287logstatsplain
-rw-r--r--sim.h11090logstatsplain
-rw-r--r--simMan.c9469logstatsplain
-rw-r--r--simSat.c1460logstatsplain
-rw-r--r--simSeq.c6156logstatsplain
-rw-r--r--simSupp.c19154logstatsplain
-rw-r--r--simSwitch.c3700logstatsplain
-rw-r--r--simSym.c4991logstatsplain
-rw-r--r--simSymSat.c6968logstatsplain
-rw-r--r--simSymSim.c5624logstatsplain
-rw-r--r--simSymStr.c15434logstatsplain
-rw-r--r--simUtils.c20605logstatsplain