projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e88424e) | patch
replace non-fatal error messages with ASSERT()'s
authorBrian Norris <banorris@uci.edu>
Thu, 3 May 2012 18:15:47 +0000 (11:15 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 3 May 2012 18:15:47 +0000 (11:15 -0700)
commitaa162e6bfce69729bae70bae1f8009262f6e9bbf
treee90efb65f05244f0f7f18cec30b3d2696ece775btree | snapshot
parente88424edbf9ec1ff1df8e83e10a317dae3704628commit | diff
replace non-fatal error messages with ASSERT()'s

Some errors have been overlooked because they are not 'loud' enough. Use
ASSERT() macro to fail-stop.
model.cc diff | blob | history
threads.cc diff | blob | history
C++11 memory model checker