Add more test data and modify when to add proof

Author: Manav-Aggarwal

deepsubtree.go

@@ -190,6 +190,9 @@ func (dst *DeepSubTree) BuildTree(rootHash []byte) error {
 	}
 	// Traverse through nodes and link them correctly
 	for _, node := range nodes {
+		if node.version < dst.version {
+			continue
+		}
 		pnode, err := dst.ndb.GetNode(node.hash)
 		if err != nil {
 			return err

deepsubtree_test.go

@@ -351,6 +351,17 @@ func FuzzBatchAddReverse(f *testing.F) {
 						require.NoError(err)
 					}
 
+					if i == 7 {
+						keyToAdd = []byte("\x038911ac0Yb9")
+					}
+
+					ics23proof := &ics23.CommitmentProof{}
+
+					if !isNewKey {
+						ics23proof, err = tree.GetMembershipProof(keyToAdd)
+						require.NoError(err)
+					}
+
 					// Set key-value pair in IAVL tree
 					tree.Set(keyToAdd, value)
 					tree.SaveVersion()
@@ -360,8 +371,11 @@ func FuzzBatchAddReverse(f *testing.F) {
 						require.NoError(err)
 					}
 
-					ics23proof, err := tree.GetMembershipProof(keyToAdd)
-					require.NoError(err)
+					if isNewKey {
+						ics23proof, err = tree.GetMembershipProof(keyToAdd)
+						require.NoError(err)
+					}
+
 					err = dst.AddExistenceProofs([]*ics23.ExistenceProof{
 						ics23proof.GetExist(),
 					})

testdata/fuzz/FuzzBatchAddReverse/d5769c321a08aaae38ffc8a1678d1033800d1f54b0fa631d29e1500ee470e892

@@ -0,0 +1,2 @@
+go test fuzz v1
+[]byte("0208$0cc1X9z\"80 XYXB01A0b7C020 C271BaBZ$A780Y8a028Bza0b10A9Bz8)2C1\"by8C8XC20aBC28B9\x061.BbX\x16\x038911ac0Yb9b1$b8Y011Ab2Y812A00a11Zx\xd9Y0")