.

wcfs/wcfs_test.py

@@ -650,11 +650,11 @@ def watch(w, zf, at):   # XXX -> ?
                 assert False, '#%d pinned %s; not pinned %s' % (t.hat(at_prev), t.hat(at))
 
         # blk ∈ pin_prev,   blk ∉ pin       -> unpin to head
-        if blk in pin_prev and blk not in pin:
+        elif blk in pin_prev and blk not in pin:
             pin[blk] = None     # XXX = head
 
         # blk ∈ pin_prev,   blk ∈ pin       -> use pin
-        if blk in pin_prev and blk in pin:
+        elif blk in pin_prev and blk in pin:
             assert pin[blk] >= pin_prev[blk]