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