Set quickcheck parameters in tasty tests and add MaxDB monoid tests.

1 files changed, 4 insertions, 2 deletions

diff --git a/run-test-suite.sh b/run-test-suite.sh
index f1169049..ac02ea33 100755
--- a/run-test-suite.sh
+++ b/run-test-suite.sh
@@ -1,5 +1,7 @@
 #!/bin/bash -e
 
+UNIT_TEST_PARAMS="--quickcheck-max-size 30 --quickcheck-tests 100"
+
 if [ "$1" == "--profile" ] ; then
   shift
   cabal install --only-dependencies --enable-library-profiling --enable-executable-profiling
@@ -13,7 +15,7 @@ elif [ "$1" == "--coverage" ] ; then
   set +e
   cabal install --only-dependencies
   cabal configure --flags "coverage"
-  cabal run lambdacube-compiler-unit-tests
+  cabal run lambdacube-compiler-unit-tests -- $UNIT_TEST_PARAMS
   RESULT_UNITTESTS=`echo $?`
   cabal run lambdacube-compiler-coverage-test-suite -- -r $@
   RESULT_TESTS=`echo $?`
@@ -22,7 +24,7 @@ elif [ "$1" == "--coverage" ] ; then
 else
   set +e
   cabal install --only-dependencies -j1
-  cabal run lambdacube-compiler-unit-tests
+  cabal run lambdacube-compiler-unit-tests -- $UNIT_TEST_PARAMS
   RESULT_UNITTESTS=`echo $?`
   cabal run lambdacube-compiler-test-suite -- -r $@
   RESULT_TESTS=`echo $?`