From: Brian Norris <banorris@uci.edu>
Date: Thu, 28 Feb 2013 18:32:18 +0000 (-0800)
Subject: bench.sh: don't run tests twice
X-Git-Tag: oopsla2013-final~48
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=1cfff06fd3e6941fa90ed54de27183062ddb1a6a

bench.sh: don't run tests twice

Now that we don't print so much garbage by default, we don't need to run
our tests twice (once with log and once without).
---

diff --git a/bench.sh b/bench.sh
index e7efc6d..71fff65 100755
--- a/bench.sh
+++ b/bench.sh
@@ -44,15 +44,6 @@ function run_test {
 	echo
 	echo "Test done; sleeping for a few seconds"
 	echo
-	sleep 3
-
-	echo "*******************************"
-	echo "Re-running test for timing data"
-	echo "*******************************"
-	(time ${RUN} ${t} ${ARGS} > /dev/null 2>&1) 2>&1
-	echo
-	echo "Test done; sleeping for a few seconds"
-	echo
 
 	let COUNT++
 }