aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Internal
ModeNameSize
-rw-r--r--AST.hs2110logstatsplain
-rw-r--r--Circuit.hs1014logstatsplain
-rw-r--r--Simulator.hs2437logstatsplain