.

wcfs/internal/xbtree/rangeset.go

@@ -209,11 +209,12 @@ func (S *RangeSet) verify() {
 
 	hi_Prev := KeyMin
 	for i, r := range S.rangev {
-		if i > 0 && !(hi_Prev < r.lo) { // NOTE not ≤ - adjacent ranges must be merged
-			badf("[%d]: lo <= hi_Prev", i)
+		hiPrev := hi_Prev + 1
+		if i > 0 && !(hiPrev < r.lo) { // NOTE not ≤ - adjacent ranges must be merged
+			badf("[%d]: !(hiPrev < r.lo)", i)
 		}
 		if !(r.lo <= r.hi_) {
-			badf("[%d]: lo > hi_", i)
+			badf("[%d]: !(r.lo <= r.hi_)", i)
 		}
 		hi_Prev = r.hi_
 	}