X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=bench.sh;h=e7efc6dceb72cdd9e016c059010e9259ae017696;hp=e74d5c37d3d723e69f8d68c179432a284f26a396;hb=82708472c7511ab11a613c010595ff1864b1c8ac;hpb=f0420375f1cec3bb95282dcac083a0ae9ed098b6

diff --git a/bench.sh b/bench.sh
index e74d5c3..e7efc6d 100755
--- a/bench.sh
+++ b/bench.sh
@@ -40,9 +40,7 @@ function run_test {
 	echo "Running test ${COUNT} (${t}): logging to ${LOG}"
 	echo "ARGS=${ARGS}"
 	echo "*******************************"
-	time ${RUN} ${t} ${ARGS} > ${LOG} 2>&1
-	echo
-	grep -A 2 "Number of executions" ${LOG} | tail -3
+	time ${RUN} ${t} ${ARGS} 2>&1 | tee ${LOG}
 	echo
 	echo "Test done; sleeping for a few seconds"
 	echo