summaryrefslogtreecommitdiffstats
path: root/src/opt/sim
ModeNameSize
-rw-r--r--module.make287logstatsplain
-rw-r--r--sim.h11083logstatsplain
-rw-r--r--simMan.c9678logstatsplain
-rw-r--r--simSat.c1530logstatsplain
-rw-r--r--simSeq.c6226logstatsplain
-rw-r--r--simSupp.c19516logstatsplain
-rw-r--r--simSwitch.c3807logstatsplain
-rw-r--r--simSym.c5061logstatsplain
-rw-r--r--simSymSat.c7092logstatsplain
-rw-r--r--simSymSim.c5764logstatsplain
-rw-r--r--simSymStr.c15646logstatsplain
-rw-r--r--simUtils.c21032logstatsplain