aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Report.hs
Commit message (Expand)AuthorAgeFilesLines
* Support multiple reg assigns in if statementsYann Herklotz2019-05-061-5/+2
* Add Report typeYann Herklotz2019-04-231-0/+169