diff --git a/fuzzers/int_loop.sh b/fuzzers/int_loop.sh index 9c968b3a..d62c0394 100755 --- a/fuzzers/int_loop.sh +++ b/fuzzers/int_loop.sh @@ -38,6 +38,10 @@ while true; do if python3 ${XRAY_DIR}/fuzzers/int_loop_check.py $check_args ; then break fi + if [ -f build/timeout ] ; then + echo "ERROR: timeout" + exit 1 + fi i=$((i+1)); cp build/todo.txt todo/${i}.txt;