From a6e63013ca1c51617e257335fca2fc7be4704d1c Mon Sep 17 00:00:00 2001
From: Rostyslav Tyshko <tyshko.rostyslav@gmail.com>
Date: Wed, 23 Oct 2024 02:02:52 +0200
Subject: [PATCH] add test_insert_and_get_proofs_of_existing_items

---
 storage/src/nullifier_sparse_merkle_tree.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/storage/src/nullifier_sparse_merkle_tree.rs b/storage/src/nullifier_sparse_merkle_tree.rs
index 3d822b1..d96e555 100644
--- a/storage/src/nullifier_sparse_merkle_tree.rs
+++ b/storage/src/nullifier_sparse_merkle_tree.rs
@@ -234,4 +234,18 @@ mod tests {
         let proof_result = tree.get_non_membership_proof([1u8; 32]);
         assert!(proof_result.is_err());
     }
+
+    #[test]
+    fn test_insert_and_get_proofs_of_existing_items() {
+        let mut tree = NullifierSparseMerkleTree::new();
+        let nullifiers = vec![
+            create_nullifier([1u8; 32]),
+            create_nullifier([2u8; 32]),
+        ];
+
+        tree.insert_items(nullifiers).unwrap();
+
+        let proof_result = tree.get_non_membership_proofs(&[[1u8; 32], [2u8; 32]]);
+        assert!(proof_result.is_err());
+    }
 }