aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Circuit
ModeNameSize
-rw-r--r--Base.hs1299logstatsplain
-rw-r--r--Gen.hs2526logstatsplain
-rw-r--r--Internal.hs1671logstatsplain
-rw-r--r--Random.hs2272logstatsplain