litmus: seq-lock: add MODEL_ASSERT() for the important behavior
[c11tester.git] / test / mutextest.cc
2012-10-12 Brian Demskyadd two test cases