From 234dd6f2de99bbd98a32b59e2bfc7b96f4e8d959 Mon Sep 17 00:00:00 2001
From: spica <Spica>
Date: Fri, 24 Nov 2023 20:13:15 -0800
Subject: [PATCH] removed location requirement

---
 benchmark/fuzzing/run.sh      | 2 +-
 benchmark/throughput/bench.py | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/benchmark/fuzzing/run.sh b/benchmark/fuzzing/run.sh
index 48b72fd98..01b44b592 100755
--- 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
index 8d6b2d1c3..72ed32286 100644
--- 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}"