From: Brian Norris <banorris@uci.edu>
Date: Fri, 15 Mar 2013 18:29:53 +0000 (-0700)
Subject: bench.sh: rewrite benchmark list to match paper
X-Git-Tag: oopsla2013-final~8^2
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ff4cd01eb602228cbd4091539c3f9754cb946dda;hp=ff4cd01eb602228cbd4091539c3f9754cb946dda;p=model-checker-benchmarks.git

bench.sh: rewrite benchmark list to match paper

Brian D. changed the benchmarks we run as well as the order. Let's
encode that in this script, so we can repeat the benchmarks
consistently.
---