#!/bin/sh

export QUICKCHECK_TESTS=2000
export QUICKCHECK_GENERATOR_SIZE=1000

cargo test