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