From: Peizhao Ou <peizhaoo@uci.edu>
Date: Wed, 25 Mar 2015 02:36:18 +0000 (-0700)
Subject: Merge branch 'new-bench' of ssh://demsky.eecs.uci.edu/home/git/model-checker-benchmar... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=28d17af30c170deda6f470b93d46dde123415fda;p=model-checker-benchmarks.git

Merge branch 'new-bench' of ssh://demsky.eecs.uci.edu/home/git/model-checker-benchmarks into new-bench
---

28d17af30c170deda6f470b93d46dde123415fda