removed location requirement

Hatsunespica · Nov 25, 2023 · 234dd6f · 234dd6f
1 parent 72e3f8f
commit 234dd6f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/benchmark/fuzzing/run.sh b/benchmark/fuzzing/run.sh
@@ -3,5 +3,5 @@ search_dir=./tests
 for entry in "$search_dir"/*
 do
   echo "$entry"
-  ~/GitRepo/alive2/build/alive-mutate $entry ./tmp -n 10 --disable-undef-input --disable-poison-input --src-unroll 2 --tgt-unroll 3 --saveAll
+  alive-mutate $entry ./tmp -n 10 --disable-undef-input --disable-poison-input --src-unroll 2 --tgt-unroll 3 --saveAll
 done
diff --git a/benchmark/throughput/bench.py b/benchmark/throughput/bench.py
@@ -18,7 +18,8 @@
 
 RES_FILE="res.txt"
 
-ALIVE_PATH="~/GitRepo/alive2/build/"
+ALIVE_PATH=""
+#ALIVE_PATH="~/GitRepo/alive2/build/"
 
 RANDOM_SEEDS_COMMAND=ALIVE_PATH + "RNG -n {count} -s {seed} > {seeds_file}"