Add handling of occational errors to 056-rempips fuzzer

Signed-off-by: Clifford Wolf <clifford@clifford.at>

fuzzers/056-rempips/Makefile

@@ -21,7 +21,7 @@ todo.txt:
 	python3 maketodo.py | sort -R | head -n10 > todo.txt
 
 run:
-	+set -ex; while make clean; make todo.txt; test -s todo.txt; do make; make pushdb; done; true
+	+set -ex; while make clean; make todo.txt; test -s todo.txt; do if make; then make pushdb; fi; done; true
 
 clean:
 	rm -rf .Xil/ .cache/ filtered_seg_int_[lr].segbits

fuzzers/056-rempips/README.md

@@ -4,3 +4,7 @@ Fuzzer for the remaining INT PIPs
 
 Run this fuzzer a few times until it produces an empty todo.txt file (`make run` will run this loop).
 
+This fuzzer occationally fails (depending on some random variables). Just restart it if you encounter
+this issue. The script behind `make run` automatically handles errors by re-starting a run if an error
+occurs.
+