save
[protos/libecoli.git] / lib / test.sh
1 #!/bin/sh
2
3 set -e
4
5 SEED=100
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}" &&
12                 false
13         )
14
15         SEED=$((SEED-1)) && continue
16 done