projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0f80c4) | patch
action, model: add ASSERT(), not NULL checks
authorBrian Norris <banorris@uci.edu>
Fri, 1 Mar 2013 07:51:55 +0000 (23:51 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 1 Mar 2013 07:51:55 +0000 (23:51 -0800)
commit6bbd9b9dd928e62df9dffbf9027124112eec0576
tree48539454934491d97c9414331324ecbaba18ce13tree | snapshot
parente0f80c403452e544452f64687b3c489a869e4f77commit | diff
action, model: add ASSERT(), not NULL checks

These should never be called with NULL. Don't make them a real
conditional.
action.cc diff | blob | history
model.cc diff | blob | history
C++11 memory model checker