fn merkle_proof_existing()

in src/tests.rs [115:126]

• 11 lines of code
• 1 McCabe index (conditional complexity)

    fn merkle_proof_existing(tree: &SMT<P>, leaves: &[P::ProofNode], list: &[TreeIndex]) -> bool {
        let proof = MerkleProof::<P>::generate_inclusion_proof(&tree, list);
        match proof {
            None => unreachable!(),
            Some(proof) => {
                // Test encoding of Merkle proof.
                let serialized_proof = proof.serialize();
                let deserialized_proof = MerkleProof::<P>::deserialize(&serialized_proof).unwrap();
                deserialized_proof.verify_inclusion_proof(leaves, &tree.get_root())
            }
        }
    }