Catch memory errors (#41)

wrsturgeon · Nov 4, 2023 · 1c17ba9 · 1c17ba9
2 parents d50b6ba + bb4bc8c
commit 1c17ba9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/ci.sh b/ci.sh
@@ -34,8 +34,9 @@ cargo test -r --no-default-features --examples
 # Property tests
 for i in $(seq 2 8)
 do
-  QUICKCHECK_TESTS=$(expr ${QUICKCHECK_TESTS} / 10) QUICKCHECK_GENERATOR_SIZE=$(expr ${i} '*' '(' ${i} - 1 ')') cargo test -r --all-features
-  QUICKCHECK_TESTS=$(expr ${QUICKCHECK_TESTS} / 10) QUICKCHECK_GENERATOR_SIZE=$(expr ${i} '*' '(' ${i} - 1 ')') cargo test -r --all-features --examples
+  QUICKCHECK_TESTS=$(expr ${QUICKCHECK_TESTS} / 50) QUICKCHECK_GENERATOR_SIZE=$(expr ${i} '*' '(' ${i} - 1 ')') cargo test --all-features
+  QUICKCHECK_TESTS=$(expr ${QUICKCHECK_TESTS} / 10) QUICKCHECK_GENERATOR_SIZE=$(expr ${i} '*' '(' ${i} - 1 ')') cargo test --all-features -r
+  QUICKCHECK_TESTS=$(expr ${QUICKCHECK_TESTS} / 10) QUICKCHECK_GENERATOR_SIZE=$(expr ${i} '*' '(' ${i} - 1 ')') cargo test --all-features -r --examples
 done
 
 # Run examples