From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 00:32:43 +0000 (-0700)
Subject: model: only print 'Total nodes' for verbose printing
X-Git-Tag: oopsla2015~24
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=ac726a52e92302014d59ab18d0439325a3cfcaff;hp=ac726a52e92302014d59ab18d0439325a3cfcaff;p=model-checker.git

model: only print 'Total nodes' for verbose printing

Average users don't need to see this.
---