Merge pull request #693 from antmicro/empty-todo

fuzzers: int_loop: exit on empty todo

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