projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 284151d) | patch
check_recency: return a boolean status
authorBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 08:26:51 +0000 (00:26 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 08:29:42 +0000 (00:29 -0800)
commitc8de5897b0c8caaab3a695dd677acd38770e48b3
treeb054552e5bfcc3f56897e5aec9dfd62807deca94tree | snapshot
parent284151d644be0946f887561a03344866f0665c03commit | diff
check_recency: return a boolean status

The output of check_recency is actually a boolean (failure => "too many
reads"), so make that explicit.

Also, rework a little more logic to make the structure a little more
obvious.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker