🦹 merkleproofverification fuzz test

Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>
pcaversaccio · Jan 30, 2023 · e94b52a · e94b52a
1 parent 3985cf2
commit e94b52a
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/utils/MerkleProofVerification.t.sol b/test/utils/MerkleProofVerification.t.sol
@@ -540,4 +540,12 @@ contract MerkleProofVerificationTest is Test {
             )
         );
     }
+
+    function testFuzzVerify(
+        bytes32[] calldata proof,
+        bytes32 root,
+        bytes32 leaf
+    ) public {
+        assertTrue(!merkleProofVerification.verify(proof, root, leaf));
+    }
 }