Enable solver quickcheck tests in continuous integration

appveyor.yml

@@ -26,3 +26,4 @@ build_script:
   - ..\cabal build
   - ..\cabal test unit-tests --show-details=streaming --test-option=--pattern=!FileMonitor --test-option=--hide-successes
   - ..\cabal test integration-tests --show-details=streaming --test-option=--pattern=!exec --test-option=--hide-successes
+  - ..\cabal test solver-quickcheck --show-details=streaming --test-option=--hide-successes --test-option=--quickcheck-tests=1000

travis-script.sh

@@ -83,6 +83,8 @@ cabal build
 cabal haddock # see https://github.com/haskell/cabal/issues/2198
 cabal test unit-tests --show-details=streaming --test-option=--hide-successes
 cabal test integration-tests --show-details=streaming --test-option=--hide-successes
+cabal test solver-quickcheck --show-details=streaming --test-option=--hide-successes \
+    --test-option=--quickcheck-tests=1000
 cabal check
 ./dist/setup/setup sdist
 install_from_tarball