model: some bug fixes to the model checker
authorBrian Demsky <bdemsky@uci.edu>
Sun, 9 Sep 2012 09:25:47 +0000 (02:25 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 11 Sep 2012 19:36:48 +0000 (12:36 -0700)
commitd4b8c4bcfb145de476c9473d80653a8849f295ed
tree02085f50f6961876c9dea236cc3e98cd021a98b4
parentde3a9589c278417a95fa49624bbeda538f533b9b
model: some bug fixes to the model checker
model.cc