projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: f94de5b)
test: add a "pending release sequences" test
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 01:52:43 +0000 (18:52 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 01:55:22 +0000 (18:55 -0700)
This helps test the end-of-execution "pending release sequence"
functionality, as well as other release-sequence-related code. It also
uncovered the regression that was just reverted prior to this.


No differences found
C++11 memory model checker