From: Brian Norris <banorris@uci.edu>
Date: Fri, 2 Nov 2012 23:27:12 +0000 (-0700)
Subject: bench.sh: add test script for running benchmarks
X-Git-Tag: pldi2013~23
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c111347c69f21c5363938e598451571109ed9dbe;hp=c111347c69f21c5363938e598451571109ed9dbe;p=model-checker-benchmarks.git

bench.sh: add test script for running benchmarks
---