solved problems with read-write-lock

Author: hernanponcedeleon

c/pthread-atomic/read_write_lock-1.c

@@ -55,8 +55,12 @@ void *reader(void *arg) { //reader
   y = l;
   __VERIFIER_atomic_end();
   __VERIFIER_atomic_begin();
-  assert(y == x);
+  int ly = y;
   __VERIFIER_atomic_end();
+  __VERIFIER_atomic_begin();
+  int lx = x;
+  __VERIFIER_atomic_end();
+  assert(ly == lx);
   __VERIFIER_atomic_release_read_lock();
   return 0;
 }

c/pthread-atomic/read_write_lock-2.c

@@ -53,9 +53,13 @@ void *reader(void *arg) { //reader
   y = l;
   __VERIFIER_atomic_end();
   __VERIFIER_atomic_begin();
-  assert(y == x);
+  int ly = y;
   __VERIFIER_atomic_end();
   __VERIFIER_atomic_begin();
+  int lx = x;
+  __VERIFIER_atomic_end();
+  assert(ly == lx);
+  __VERIFIER_atomic_begin();
   l = r-1;
   __VERIFIER_atomic_end();
   __VERIFIER_atomic_begin();