aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Internal
ModeNameSize
-rw-r--r--AST.hs2117logstatsplain
-rw-r--r--Circuit.hs1032logstatsplain
-rw-r--r--Simulator.hs3335logstatsplain
-rw-r--r--Template.hs2782logstatsplain