Scripts for running fuzzer.

experiment/sapling/run_all.sh

@@ -0,0 +1,20 @@
+#!/bin/bash
+
+set -e
+
+# Currently we give everything equal testing
+export FUZZER_TEST_COUNT=10000
+export FUZZER_OP_COUNT=1000
+export FUZZER_EXTRA_FLAGS="-ll:util 2 -ll:cpu 3"
+export FUZZER_LAUNCHER="srun -n 1 --overlap"
+
+function run_fuzzer_config {
+    config_name="$1"
+
+    fuzzer_exe="$PWD/build_${config_name}/src/fuzzer"
+
+    FUZZER_EXE="$fuzzer_exe" sbatch --nodes 1 sbatch_fuzzer.sh
+}
+
+run_fuzzer_config debug_single
+run_fuzzer_config release_single

experiment/sapling/sbatch_fuzzer.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+#SBATCH --ntasks-per-node=1
+#SBATCH --cpus-per-task=40
+#SBATCH --partition=all
+#SBATCH --time=03:00:00
+
+export REALM_SYNTHETIC_CORE_MAP=
+export REALM_BACKTRACE=1
+
+ulimit -S -c 0 # disable core dumps
+
+set -x
+
+./runner.py --fuzzer="$FUZZER_EXE" -j${FUZZER_THREADS:-4} -n${FUZZER_TEST_COUNT:-1000} -o${FUZZER_OP_COUNT:-1000} --extra="$FUZZER_EXTRA_FLAGS" --launcher="$FUZZER_LAUNCHER"