6 while [ ${SEED} -gt 0 ]; do
7 CMD="./build/test --random-alloc-fail=1 --seed=${SEED} $*"
8 ${CMD} --log-level=0 || (
9 echo "=== test failed, replay seed=${SEED} with logs ===" &&
10 ${CMD} --log-level=6 ||
11 echo "=== test failed: ${CMD}" &&
15 SEED=$((SEED-1)) && continue