From a04c8a55ae10f6491a9e679ddb54d18f8a2cce51 Mon Sep 17 00:00:00 2001
From: Elliott Slaughter <slaughter@cs.stanford.edu>
Date: Wed, 31 Jul 2024 13:18:57 -0700
Subject: [PATCH] Experiment config for DCR.

---
 experiment/sapling/run_all_tests.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/experiment/sapling/run_all_tests.sh b/experiment/sapling/run_all_tests.sh
index d1c7e63..d45dc38 100755
--- a/experiment/sapling/run_all_tests.sh
+++ b/experiment/sapling/run_all_tests.sh
@@ -11,13 +11,14 @@ root_dir="$(dirname "$(dirname "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"
 cd "$root_dir"
 
 export FUZZER_OP_COUNT=1000
-export FUZZER_EXTRA_FLAGS="-ll:util 2 -ll:cpu 3"
 
 function run_fuzzer_config {
     config_name="$1"
     mode="$2"
+    extra_flags="$3"
 
     fuzzer_exe="$PWD/build_${config_name}/src/fuzzer"
+    fuzzer_flags="-ll:util 2 -ll:cpu 3 $extra_flags"
 
     if [[ $mode = single ]]; then
         test_count=100000
@@ -35,10 +36,12 @@ function run_fuzzer_config {
     # Generate a random seed so we explore a novel part of the state space.
     seed="$(( 16#$(openssl rand -hex 4) * test_count ))"
 
-    FUZZER_EXE="$fuzzer_exe" FUZZER_MODE=$mode FUZZER_TEST_COUNT=$test_count FUZZER_SEED=$seed FUZZER_LAUNCHER="$launcher" sbatch --nodes 1 "experiment/$FUZZER_MACHINE/sbatch_fuzzer.sh"
+    FUZZER_EXE="$fuzzer_exe" FUZZER_MODE=$mode FUZZER_TEST_COUNT=$test_count FUZZER_SEED=$seed FUZZER_LAUNCHER="$launcher" FUZZER_EXTRA_FLAGS="$fuzzer_flags" sbatch --nodes 1 "experiment/$FUZZER_MACHINE/sbatch_fuzzer.sh"
 }
 
 run_fuzzer_config debug_single single
 run_fuzzer_config release_single single
 run_fuzzer_config debug_multi multi
 run_fuzzer_config release_multi multi
+run_fuzzer_config debug_multi multi "-fuzz:replicate 1"
+run_fuzzer_config release_multi multi "-fuzz:replicate 1"