From 5c510f76be45d0674c576fcc9b1874a332920c1f Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 23 Dec 2017 19:21:23 +0100 Subject: [PATCH] Add handling of occational errors to 056-rempips fuzzer Signed-off-by: Clifford Wolf --- fuzzers/056-rempips/Makefile | 2 +- fuzzers/056-rempips/README.md | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/fuzzers/056-rempips/Makefile b/fuzzers/056-rempips/Makefile index 9b0c4428..339a1cff 100644 --- a/fuzzers/056-rempips/Makefile +++ b/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 diff --git a/fuzzers/056-rempips/README.md b/fuzzers/056-rempips/README.md index 95e6f806..3fc3d3e0 100644 --- a/fuzzers/056-rempips/README.md +++ b/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. +