aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Circuit
ModeNameSize
-rw-r--r--Base.hs1000logstatsplain
-rw-r--r--Gen.hs2411logstatsplain
-rw-r--r--Internal.hs1106logstatsplain
-rw-r--r--Random.hs2237logstatsplain