edits

[model-checker-benchmarks.git] / seqlock / testcase1.c

diff --git a/seqlock/testcase1.c b/seqlock/testcase1.c
index 6417db312db5f1b91077cf091356ab13b64f98c6..0c9e49cf1c3662d9158775117264ce5273d33ca2 100644 (file)
--- a/seqlock/testcase1.c
+++ b/seqlock/testcase1.c
@@ -11,6 +11,7 @@ static void a(void *obj) {
 
 static void b(void *obj) {
        lock->write(2);
+       int r1 = lock->read();
 }
 
 static void c(void *obj) {
@@ -23,10 +24,10 @@ int user_main(int argc, char **argv) {
 
        thrd_create(&t1, (thrd_start_t)&a, NULL);
        thrd_create(&t2, (thrd_start_t)&b, NULL);
-       thrd_create(&t3, (thrd_start_t)&c, NULL);
+       //thrd_create(&t3, (thrd_start_t)&c, NULL);
 
        thrd_join(t1);
        thrd_join(t2);
-       thrd_join(t3);
+       //thrd_join(t3);
        return 0;
 }