projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2403257) | patch
model: change guaranteed condition into ASSERT()
authorBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 02:27:27 +0000 (18:27 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 03:36:06 +0000 (19:36 -0800)
commit9ab812e65ac3bdf679247f01611f21d1af8968b9
tree621ca6d7d2a83a3309124052d08d06821633e67atree | snapshot
parent24032577ab44f5adb4f072d022f70d0b0162ab90commit | diff
model: change guaranteed condition into ASSERT()

This guaranteed condition should only be included as an ASSERT(). This
gives a bonus, that the code becomes a little easier to read.
model.cc diff | blob | history
C++11 memory model checker