projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d07b6d) | patch
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)
commit24dbae977ee0610d314b52a42a77f1a6f39752b3
treeafb70d7fdaa49d2b77b8bfea67c6841de62783c6tree | snapshot
parent6d07b6dd2442d2af16d3411cbbdcfd5519853ca4commit | diff
fix bug in promise handling code...

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.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker