From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 4 Oct 2012 08:32:45 +0000 (-0700)
Subject: fix bug...can't mo_check_promises until we're done resolving promises for a write... 
X-Git-Tag: pldi2013~105
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cd61f25e9775d3807c09f0606a69440604ef1821;hp=cd61f25e9775d3807c09f0606a69440604ef1821;p=model-checker.git

fix bug...can't mo_check_promises until we're done resolving promises for a write back in time
---