remove executables

[c11concurrency-benchmarks.git] / tsan11-missingbug / rwlock-test.cc

diff --git a/tsan11-missingbug/rwlock-test.cc b/tsan11-missingbug/rwlock-test.cc
index 560f53d35bbb162f13bbeb56aede565ce22d2208..95f3ffde048e2d2d2ef477b047dbbd41c8f42c99 100644 (file)
--- a/tsan11-missingbug/rwlock-test.cc
+++ b/tsan11-missingbug/rwlock-test.cc
@@ -62,7 +62,7 @@ void * a(void *obj)
                        read_lock(&mylock);
                        int d1 = data1.load(memory_order_relaxed);
                        int d2 = data2.load(memory_order_relaxed);
-                       assert(d1 == d2);
+                       assert(d1 == d2);       // Should fail on buggy executions
                        read_unlock(&mylock);
                } else {
                        write_lock(&mylock);