Commit 73889508 authored by Committed by Mikhail GlushenkovBrowse files
Print all test output when running solver-quickcheck on AppVeyor.
Previously, --hide-successes caused solver-quickcheck to only print the seed that was added in 4d83212f. This commit removes --hide-successes so that the test suite prints the test names with the seeds.
Showing with 1 addition and 1 deletion