X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=seqlock%2Ftestcase1.c;h=0c9e49cf1c3662d9158775117264ce5273d33ca2;hb=b684f62b7411fea476b2e1f6a8bbf920ac4c7216;hp=6417db312db5f1b91077cf091356ab13b64f98c6;hpb=280528092c1e033b6283f6c3ec30260c7c169cce;p=model-checker-benchmarks.git

diff --git a/seqlock/testcase1.c b/seqlock/testcase1.c
index 6417db3..0c9e49c 100644
--- 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;
 }