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