aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Circuit
ModeNameSize
-rw-r--r--Base.hs1142logstatsplain
-rw-r--r--Gen.hs2412logstatsplain
-rw-r--r--Internal.hs1545logstatsplain
-rw-r--r--Random.hs2238logstatsplain