projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 50e0465)
Add yield block support. The idea is to not generate executions with yield actions.
authorBrian Demsky <bdemsky@uci.edu>
Thu, 18 Apr 2013 21:53:58 +0000 (14:53 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 18 Apr 2013 21:53:58 +0000 (14:53 -0700)
While preventing yields doesn't preserve livelock, under the CHESS assumptions, it does allow us to reach all states.


No differences found
C++11 memory model checker