From: Brian Norris <banorris@uci.edu>
Date: Fri, 10 Aug 2012 21:23:29 +0000 (-0700)
Subject: main, model: move main execution loop into ModelChecker class
X-Git-Tag: pldi2013~271^2~9
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b7a6b3c7fb66628a4b14af804418dbfff4072e95;hp=b7a6b3c7fb66628a4b14af804418dbfff4072e95;p=model-checker.git

main, model: move main execution loop into ModelChecker class
---