From: Brian Norris <banorris@uci.edu>
Date: Tue, 16 Apr 2013 02:25:46 +0000 (-0700)
Subject: promise: get reference to ModelExecution
X-Git-Tag: oopsla2013~67^2~2
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=144f1b806679fd9030147f554513d7fce36f65dc;hp=144f1b806679fd9030147f554513d7fce36f65dc;p=model-checker.git

promise: get reference to ModelExecution
---