From: Brian Norris <banorris@uci.edu>
Date: Thu, 4 Apr 2013 17:10:32 +0000 (-0700)
Subject: action: include reads-from-promise in HASH calculations
X-Git-Tag: oopsla2013~105
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=28067adf4ed506b7e38ddf38e522d5a9621bef92;hp=28067adf4ed506b7e38ddf38e522d5a9621bef92;p=model-checker.git

action: include reads-from-promise in HASH calculations

And include the *value*, since the same promise index can yield
different future values.
---