litmus: seq-lock: add MODEL_ASSERT() for the important behavior
authorBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 00:50:51 +0000 (16:50 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 00:55:19 +0000 (16:55 -0800)
commit49dd0f6c667d9ab2a92301f230de60890f8c0c57
treea7d043124e40ef0178c29c5448f63e59befa7630
parente552799710cf415a268915a009513621ca806e2f
litmus: seq-lock: add MODEL_ASSERT() for the important behavior
test/litmus/seq-lock.cc