run loop

1 files changed, 71 insertions, 0 deletions

diff --git a/run-loop.sh b/run-loop.sh
new file mode 100755
index 0000000..2c8450b
--- /dev/null
+++ b/run-loop.sh
@@ -0,0 +1,71 @@
+#!/bin/bash
+set -e
+
+MAX_TOTAL_TIME=1800
+
+export TIMEOUT=1000
+# export NO_ASSERT=true
+export NO_CRASH=true
+export NO_IMMUTABLE_VIEWSTATE=true
+export NO_UNDO=true
+export RTT_RULES=./rules.js
+
+if [ -f "last_head" ]; then
+    LAST_HEAD=`cat last_head`
+else
+    LAST_HEAD=""
+fi
+
+echo "LAST HEAD is $LAST_HEAD"
+
+while true;
+do
+    echo "------------"
+    echo "Updating GIT"
+    echo "------------"
+    cd paths-of-glory
+    git pull --rebase
+
+    # GIT_COMMIT=`git rev-parse --short HEAD`
+    GIT_COMMIT=`git --no-pager log --format='%cs-%h' -n 1`
+
+    # echo "--------------------"
+    # echo "Compiling Typescript"
+    # echo "--------------------"
+    # tsc
+    cd -
+
+    if [[ "$GIT_COMMIT" != "$LAST_HEAD" ]]
+    then
+        echo "NEW HEAD is $GIT_COMMIT"
+        LAST_HEAD=$GIT_COMMIT
+        echo "$GIT_COMMIT" > last_head
+        rm -f crash-* slow-unit-* timeout-* errors.txt
+    fi
+
+    echo "--------------"
+    echo "Running Fuzzer"
+    echo "--------------"
+    npx jazzer rtt-module.js --sync corpus -- -max_total_time=$MAX_TOTAL_TIME | tee -a errors.txt
+
+    echo "---------"
+    echo "Reporting"
+    echo "---------"
+    ../errors2csv.py
+    mv errors.csv errors-${GIT_COMMIT}.csv
+
+    echo "--------------"
+    echo "Merging Corpus"
+    echo "--------------"
+    mkdir -p corpus.new
+    npx jazzer rtt-module.js --sync corpus.new corpus -- -merge=1
+
+    echo "-------------"
+    echo "Moving Corpus"
+    echo "-------------"
+    rm -rf corpus.old
+    mv corpus corpus.old
+    mv corpus.new corpus
+
+    sleep 5
+done