.

wcfs/δbtail_test.go

@@ -557,8 +557,7 @@ func xverifyΔBTail1(t *testing.T, subj string, db *zodb.DB, treeRoot zodb.Oid,
 	xtree, err := zconn.Get(ctx, treeRoot);	X(err)
 	ztree := xtree.(*Tree)
 
-	kadjTracked := SetKey{} // all keys adjacent to tracked
-//	trackingMaxKey := false
+	kadjTracked := SetKey{} // kadj[Tracked]  (all keys adjacent to tracked)
 	for k := range initialTrackedKeys {
 		path := []Node{}
 		_, _, err = ztree.VGet(ctx, k, func(node Node) {
@@ -569,7 +568,6 @@ func xverifyΔBTail1(t *testing.T, subj string, db *zodb.DB, treeRoot zodb.Oid,
 		trackFlags := TrackFlags(0)
 		if k == kInf {
 			trackFlags = TrackMaxKey
-//			trackingMaxKey = true
 		}
 		δbtail.Track(path, trackFlags)
 
@@ -580,7 +578,7 @@ func xverifyΔBTail1(t *testing.T, subj string, db *zodb.DB, treeRoot zodb.Oid,
 
 	//              k ∈ d12
 	// k ∈ δT  <=>
-	//              k ∈   U kadj(·)
+	//              k ∈   U kadj[·]
 	//                   ·∈tracking
 	inδTOK := SetKey{} // all keys that should be present in δT
 	for k := range d12 {
@@ -672,6 +670,7 @@ func xverifyΔBTail1(t *testing.T, subj string, db *zodb.DB, treeRoot zodb.Oid,
 	if badv != nil {
 		emsg := fmt.Sprintf("%s ; tracked=%v : δT is wrong:\n\n", subj, tracked)
 		emsg += fmt.Sprintf("d12:  %v\nδT:   %v\n\n", d12, δT)
+		emsg += fmt.Sprintf("kadj[Tracked]: %v\nkadj: %v\n\n", kadjTracked, kadj)
 		emsg += strings.Join(badv, "\n")
 		emsg += "\n"
 		//t.Error(emsg)