summaryrefslogtreecommitdiffstats
path: root/src/opt/sim
ModeNameSize
-rw-r--r--module.make260logstatsplain
-rw-r--r--sim.h11105logstatsplain
-rw-r--r--simMan.c9668logstatsplain
-rw-r--r--simSat.c1520logstatsplain
-rw-r--r--simSeq.c6216logstatsplain
-rw-r--r--simSupp.c19545logstatsplain
-rw-r--r--simSwitch.c3797logstatsplain
-rw-r--r--simSym.c5063logstatsplain
-rw-r--r--simSymSat.c7106logstatsplain
-rw-r--r--simSymSim.c5758logstatsplain
-rw-r--r--simSymStr.c15636logstatsplain
-rw-r--r--simUtils.c21046logstatsplain