From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Sun, 30 Aug 2020 18:25:28 +0000 (-0700)
Subject: Learning time
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bef1f7cfec7308f261fef4aa58faf3682a8b743c;p=satune.git

Learning time
---

diff --git a/src/Scripts/learnresultgen.sh b/src/Scripts/learnresultgen.sh
index 329b571..2bc2519 100755
--- a/src/Scripts/learnresultgen.sh
+++ b/src/Scripts/learnresultgen.sh
@@ -17,7 +17,13 @@ BIN=$SATUNEDIR/bin
 source $SATUNEDIR/Benchmarks/common.sh
 $SATUNEDIR/Scripts/setup.sh
 cd $BENCHDIR
-./learn.sh $2 $3
+
+START=$(date +%s.%N)
+time ./learn.sh $2 $3
+END=$(date +%s.%N)
+DIFF=$(echo "$END - $START" | bc)
+echo "SATUNE Learning Time $1-$2: $DIFF"
+
 cd $BIN
 ./run.sh analyzemultituner
 cd $SATUNEDIR