projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 875ebf8) | patch
model: fix ASSERT()
authorBrian Norris <banorris@uci.edu>
Fri, 1 Mar 2013 23:01:47 +0000 (15:01 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 1 Mar 2013 23:01:47 +0000 (15:01 -0800)
commit22efc98d95682e33aa85fd85f5e79d887875734b
tree8aefdc116d2779162bea15437256884c1547ed8dtree | snapshot
parent875ebf8e11b4bdd702604785837b6b91b748900dcommit | diff
model: fix ASSERT()

Apparently this ASSERT() is still not good. ASSERT() was triggered, for
example, with:

  $ ./run.sh test/linuxrwlocks.o -f 4 -m 1
model.cc diff | blob | history
C++11 memory model checker