summaryrefslogtreecommitdiffstats
path: root/vendor/varisat/proptest-regressions
ModeNameSize
-rw-r--r--solver.txt1769logstatsplain