From: Brian Norris <banorris@uci.edu>
Date: Wed, 20 Mar 2013 22:57:18 +0000 (-0700)
Subject: bench.sh: don't automatically log to file
X-Git-Tag: oopsla2013-final~4
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8c19c4c22a76ba53d7eff91102a489bb44c805d7;hp=8c19c4c22a76ba53d7eff91102a489bb44c805d7;p=model-checker-benchmarks.git

bench.sh: don't automatically log to file

Just print to STDOUT, and the user can manually pipe to a file if they
want.
---