1 files changed, 27 insertions, 0 deletions
diff --git a/tools/fuzzing/rost/rerun.sh b/tools/fuzzing/rost/rerun.sh
new file mode 100755
index 0000000..3e75189
--- /dev/null
+++ b/tools/fuzzing/rost/rerun.sh
@@ -0,0 +1,27 @@
+#!/bin/bash
+
+SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
+
+TOP_DIR="$SCRIPT_DIR/../../.."
+MIN_DIR="$SCRIPT_DIR/min"
+
+
+find "$MIN_DIR" -type f -name '*rost' | while read f;
+do
+    echo "=========== $f"
+
+    "$TOP_DIR/src/rost" $f /bin/ls
+
+    status=$?
+
+    if [ $status -le 2 ]; then
+        rm $f
+    fi
+
+    sleep 1s
+
+done
+
+
+
+