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

diff --git a/seqlock/testcase1.c b/seqlock/testcase1.c
index 8441972..0c9e49c 100644
--- a/seqlock/testcase1.c
+++ b/seqlock/testcase1.c
@@ -11,10 +11,10 @@ static void a(void *obj) {
 
 static void b(void *obj) {
 	lock->write(2);
+	int r1 = lock->read();
 }
 
 static void c(void *obj) {
-	lock->write(2);
 	int r1 = lock->read();
 }
 
@@ -23,11 +23,11 @@ int user_main(int argc, char **argv) {
 	lock = new seqlock_t();
 
 	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(&t2, (thrd_start_t)&b, NULL);
+	//thrd_create(&t3, (thrd_start_t)&c, NULL);
 
 	thrd_join(t1);
-	//thrd_join(t2);
-	thrd_join(t3);
+	thrd_join(t2);
+	//thrd_join(t3);
 	return 0;
 }