projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20c3770) | patch
model: check_recency: convert a few things to ASSERT()
authorBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 02:49:29 +0000 (18:49 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 02:49:29 +0000 (18:49 -0800)
commitc4c6c997cb5d2d651d4dfa76390a42592432d266
tree6eceed211e9b87c99b7b016a62bab8b94ed2215ctree | snapshot
parent20c377062e4cfe1c12d517c059822229bacc8c20commit | diff
model: check_recency: convert a few things to ASSERT()

At least for now, just to make sure my reasoning is correct.
model.cc diff | blob | history
C++11 memory model checker