.

wcfs/δbtail_test.go

@@ -737,20 +737,33 @@ _ = K
 	testv := []interface{} {
 		"T/B:",
 
-		Δ("T/B1:a",	// +1
+		// +1
+		Δ("T/B1:a",
 			A{1: K(), oo: K(1)}),
 
-		Δ("T/B1:a,2:b",	// +2
+		// +2
+		Δ("T/B1:a,2:b",
 			A{1:  K(1,2),
 			  2:  K(1,2),
 			  oo: K(1,2)}),
 
-		Δ("T/B2:b",	// -1
+		// -1
+		Δ("T/B2:b",
 			A{1:  K(1,2),
 			  2:  K(1,2),
 			  oo: K(1,2)}),
-		"T/B2:c",		// 2: b->c
-		"T2/B1:a-B2:c",		// +1 in new bucket (to the left)
+
+		// 2: b->c
+		Δ("T/B2:c",
+			A{2:  K(2),
+			  oo: K(2)}),
+
+		// +1 in new bucket (to the left)
+		Δ("T2/B1:a-B2:c",
+			A{1:  K(1,2),
+			  2:  K(1,2),
+			  oo: K(2)}), // NOTE no ∞ -> 1, because 1 is added to the left
+
 		"T2,3/B1:a-B2:c-B3:c",	// +3 in new bucket (to the right)
 
 		// bucket split; +3 in new bucket