From: Brian Norris <banorris@uci.edu>
Date: Thu, 6 Dec 2012 23:03:21 +0000 (-0800)
Subject: run.sh: sync up run script with model-checker
X-Git-Tag: oopsla2013-final~50
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=43d5b7da66c7ef82af941805564db860191cf157;hp=43d5b7da66c7ef82af941805564db860191cf157

run.sh: sync up run script with model-checker

I improved the model-checker.git run script, so paste over the changes.
---