From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Mon, 13 Aug 2018 21:44:23 +0000 (-0700)
Subject: Fixing the hexiom scrip
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a7fe25cd524bf58530ad7a66184b281c398cf730;p=Benchmarks_CSolver.git

Fixing the hexiom scrip
---

diff --git a/hexiom/bench.sh b/hexiom/bench.sh
index 75dd7c5a..4ec8aa5d 100755
--- a/hexiom/bench.sh
+++ b/hexiom/bench.sh
@@ -40,7 +40,7 @@ for PAR in $PARAMETERS; do
 				mv DUMP* $DUMPDIR
 			elif [ $2 = '--csolver' ]; then
 				START=$(date +%s.%N)
-				./run.sh csolverHexiom.py $PAR >> $TEMP
+				./run.sh csolverHexiom.py $PAR --csolver >> $TEMP
 				END=$(date +%s.%N)
         	                DIFF=$(echo "$END - $START" | bc)
 	                        echo "Program Execution Time: $DIFF" >>$TEMP