2-zzuf.sh (683B)
1 #!/bin/bash 2 set -exuo pipefail 3 4 # Sweep a moderate range of zzuf seeds. A single seed proves almost 5 # nothing; a huge range takes correspondingly long, so the recommended 6 # pattern from src/testzzuf/README is a moderate range per job with 7 # different jobs given different ranges. ZZUF_SEED_START takes 8 # precedence over ZZUF_SEED. 9 # 10 # On failure both runner scripts print a block containing the failing 11 # seed and a copy-pasteable replay command; grep the job log for 12 # "FUZZING TEST FAILED". 13 14 ZZUF_START="${MHD_CI_ZZUF_SEED_START:-0}" 15 ZZUF_STOP="${MHD_CI_ZZUF_SEED_STOP:-64}" 16 17 make -C src/testzzuf check \ 18 ZZUF_SEED_START="${ZZUF_START}" \ 19 ZZUF_SEED_STOP="${ZZUF_STOP}"