fix bug in promise handling code...
authorBrian Demsky <bdemsky@uci.edu>
Wed, 23 Jan 2013 00:31:16 +0000 (16:31 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 00:42:02 +0000 (16:42 -0800)
if any promise for a thread resolved, we assumed that the corresponding
write happened after all promises for that threads...clearly doesn't
need to be the case...

[Brian Norris:] This fixes some bugs where we don't see all the expected
behaviors: e.g., with

  ./run.sh test/rmwprog.o -- 3

Now we see all 20 behaviors.


No differences found