From 59cff08be070b0f0124472ae4615ab1f8d047f56 Mon Sep 17 00:00:00 2001
From: Karol Gugala <kgugala@antmicro.com>
Date: Mon, 4 Mar 2019 15:33:58 +0100
Subject: [PATCH] fuzzers: int_loop: exit on empty todo

Signed-off-by: Karol Gugala <kgugala@antmicro.com>
---
 fuzzers/int_loop.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/fuzzers/int_loop.sh b/fuzzers/int_loop.sh
index bb757348..5bd9b118 100755
--- a/fuzzers/int_loop.sh
+++ b/fuzzers/int_loop.sh
@@ -43,6 +43,10 @@ i=1
 while true; do
     ${MAKE} ITER=$i cleaniter
     ${MAKE} ITER=$i build/todo.txt
+    if [ ! -s build/todo.txt -a $i -eq 1 ]; then
+        echo "Empty TODO file, assuming all the ints were already solved!"
+        exit 0
+    fi
     if python3 ${XRAY_DIR}/fuzzers/int_loop_check.py $check_args ; then
         break
     fi