Experiment config for DCR.

StanfordLegion · Jul 31, 2024 · a04c8a5 · a04c8a5
1 parent fba3388
commit a04c8a5
Showing 1 changed file with 5 additions and 2 deletions.
diff --git 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"