From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Nov 2012 03:45:41 +0000 (-0800)
Subject: README: update for benchmarks
X-Git-Tag: pldi2013~1
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=32de2bfc3e9c027730e174614e46010121d09215;hp=32de2bfc3e9c027730e174614e46010121d09215;p=model-checker.git

README: update for benchmarks
---