projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 342a2b1) | patch
model: bugfix - sleep sets are NOT directly compatible with DPOR
authorBrian Norris <banorris@uci.edu>
Thu, 17 Jan 2013 01:42:57 +0000 (17:42 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 17 Jan 2013 02:37:30 +0000 (18:37 -0800)
commitceac3a2484741a39bcb00f8593514f65be8bbe85
treeef3d60026d9601b9a919ead3b44585c3a2bd7814tree | snapshot
parent342a2b1b8cf1bb74bf2b35bfd217a9c21818668fcommit | diff
model: bugfix - sleep sets are NOT directly compatible with DPOR

We failed to incorporate changes from the POPL'05 DPOR paper's addendum,
preventing us from seeing all behaviors in some test programs. This
fixes that.
model.cc diff | blob | history
C++11 memory model checker