aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/OptParser.hs
Commit message (Expand)AuthorAgeFilesLines
* Add --no-reductionYann Herklotz2019-10-281-21/+17
* Add OptParser to separate option parsingYann Herklotz2019-10-271-0/+266