diff --git a/scripts/test.sh b/scripts/test.sh new file mode 100755 index 0000000..a5b4f3d --- /dev/null +++ b/scripts/test.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +export QUICKCHECK_TESTS=2000 +export QUICKCHECK_GENERATOR_SIZE=1000 + +cargo test \ No newline at end of file