1 files changed, 0 insertions, 16 deletions
diff --git a/tools/fuzz.sh b/tools/fuzz.sh
deleted file mode 100755
index fd2391b..0000000
--- a/tools/fuzz.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/bash
-
-TITLE=$1
-shift
-
-if [ ! -f ./public/$TITLE/rules.js ]
-then
-	echo usage: bash tools/fuzz.sh title_id
-	exit 1
-fi
-
-mkdir -p fuzzer/corpus-$TITLE
-
-RULES=../public/$TITLE/rules.js \
-	npx jazzer tools/rtt-fuzz.js --sync fuzzer/corpus-$TITLE "$@" -- -exact_artifact_path=/dev/null | \
-		tee fuzzer/log-$TITLE.txt