.

wcfs/wcfs_test.py

@@ -653,9 +653,11 @@ def watch(w, zf, at):   # XXX -> ?
         elif blk in pin_prev and blk not in pin:
             pin[blk] = None     # XXX = head
 
-        # blk ∈ pin_prev,   blk ∈ pin       -> use pin
+        # blk ∈ pin_prev,   blk ∈ pin       -> if rev different: use pin
         elif blk in pin_prev and blk in pin:
-            assert pin[blk] >= pin_prev[blk]
+            assert pin_prev[blk] <= pin[blk]
+            if pin_prev[blk] == pin[blk]:
+                del pin[blk]    # would need to pin to what it is already pinned
 
 
     # {} blk -> at that have to be pinned