run.sh: sync up run script with model-checker
authorBrian Norris <banorris@uci.edu>
Thu, 6 Dec 2012 23:03:21 +0000 (15:03 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Dec 2012 23:03:21 +0000 (15:03 -0800)
I improved the model-checker.git run script, so paste over the changes.


No differences found