lean4-htt/tests/compile_bench/nat_repr.lean.init.sh

5 lines
74 B
Bash

TEST_ARGS=( 500 )
if [[ -n $TEST_BENCH ]]; then
TEST_ARGS=( 15000 )
fi