remove executables
[c11concurrency-benchmarks.git] / tsan11-missingbug / seqlock-test.cc
index 7d5d0d1b2d82e500412cf71911628740a3873c8a..fa628640e6ad5d1c4f4c25c8953172e7a0aacdf7 100644 (file)
@@ -67,7 +67,7 @@ void * b(void *obj) {
 void * c(void *obj) {
        int r1, r2;
        lock->read(&r1, &r2);
-       assert(r1 == r2);
+       assert(r1 == r2);       // Should fail on buggy executions
        return NULL;
 }