From: Brian Norris <banorris@uci.edu>
Date: Fri, 22 Mar 2013 06:24:15 +0000 (-0700)
Subject: main: adjust defaults again
X-Git-Tag: oopsla2013~124
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=04d2bd9edc52c9b08e582046181f0750f8c45783;hp=04d2bd9edc52c9b08e582046181f0750f8c45783;p=model-checker.git

main: adjust defaults again

-s 6 -S 4
---