From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 30 Oct 2018 00:20:47 +0000 (-0700)
Subject: Bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1eb84e069ae4de7a02a720a96809dcc903ace127;p=satune.git

Bug fix
---

diff --git a/src/runbench.sh b/src/runbench.sh
index 1ffa118..fd093e4 100755
--- a/src/runbench.sh
+++ b/src/runbench.sh
@@ -18,7 +18,7 @@ cd $BIN
 for d in $DUMP; do
 	if [[ $d = *$1* ]]; then
 		echo $d
-		./run.sh deserializerun "."$d $2 $3 out.out
+		./run.sh deserializerun "."$d $2 "../"$3 out.out
 		echo "Best tuner"
 	fi
 done