projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5e14aa) | patch
model: change DEBUG() statement to ASSERT()
authorBrian Norris <banorris@uci.edu>
Fri, 4 May 2012 06:51:26 +0000 (23:51 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 8 May 2012 17:38:50 +0000 (10:38 -0700)
commit67f8065b5df1b68b7b46af2c37cc0ba601fe5345
tree6a0643a3ff8ef65a8fa0b9d59d67c064f945f8b3tree | snapshot
parentc5e14aa2426f21f8de620cf24ed321447d75c989commit | diff
model: change DEBUG() statement to ASSERT()

Now that I've fixed the model-checking bug that produced this error, turn this
error message into a fail-stop ASSERT() statement. This way, I won't ignore a
bug like this in the future!
model.cc diff | blob | history
C++11 memory model checker