From 00e242468bbf86c4acd1a07be157092b7d64d1e0 Mon Sep 17 00:00:00 2001
From: ninokeldishvili <ninokeldishvili@gmail.com>
Date: Tue, 15 Oct 2024 11:58:54 +0400
Subject: [PATCH] Add missing vm.assume(alice != bob) to
 OffchainAssetReceiptVault.redeposit.t.sol

---
 .../vault/OffchainAssetReceiptVault.redeposit.t.sol    | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/test/src/concrete/vault/OffchainAssetReceiptVault.redeposit.t.sol b/test/src/concrete/vault/OffchainAssetReceiptVault.redeposit.t.sol
index 6d29617a..606b669c 100644
--- a/test/src/concrete/vault/OffchainAssetReceiptVault.redeposit.t.sol
+++ b/test/src/concrete/vault/OffchainAssetReceiptVault.redeposit.t.sol
@@ -56,6 +56,8 @@ contract RedepositTest is OffchainAssetReceiptVaultTest {
         // Ensure the fuzzed key is within the valid range for secp256k1
         address alice = vm.addr((fuzzedKeyAlice % (SECP256K1_ORDER - 1)) + 1);
         address bob = vm.addr((fuzzedKeyBob % (SECP256K1_ORDER - 1)) + 1);
+        vm.assume(alice != bob);
+
         minShareRatio = bound(minShareRatio, 0, 1e18);
         timestamp = bound(timestamp, 1, type(uint32).max);
 
@@ -101,6 +103,8 @@ contract RedepositTest is OffchainAssetReceiptVaultTest {
         // Ensure the fuzzed key is within the valid range for secp256k1
         address alice = vm.addr((fuzzedKeyAlice % (SECP256K1_ORDER - 1)) + 1);
         address bob = vm.addr((fuzzedKeyBob % (SECP256K1_ORDER - 1)) + 1);
+        vm.assume(alice != bob);
+
         minShareRatio = bound(minShareRatio, 0, 1e18);
         timestamp = bound(timestamp, 1, type(uint32).max);
 
@@ -249,6 +253,8 @@ contract RedepositTest is OffchainAssetReceiptVaultTest {
         // Ensure the fuzzed key is within the valid range for secp256k1
         address alice = vm.addr((fuzzedKeyAlice % (SECP256K1_ORDER - 1)) + 1);
         address bob = vm.addr((fuzzedKeyBob % (SECP256K1_ORDER - 1)) + 1);
+        vm.assume(alice != bob);
+
         minShareRatio = bound(minShareRatio, 0, 1e18);
         timestamp = bound(timestamp, 1, type(uint32).max);
 
@@ -351,6 +357,8 @@ contract RedepositTest is OffchainAssetReceiptVaultTest {
         // Ensure the fuzzed key is within the valid range for secp256k1
         address alice = vm.addr((fuzzedKeyAlice % (SECP256K1_ORDER - 1)) + 1);
         address bob = vm.addr((fuzzedKeyBob % (SECP256K1_ORDER - 1)) + 1);
+        vm.assume(alice != bob);
+
         minShareRatio = bound(minShareRatio, 0, 1e18);
         timestamp = bound(timestamp, 1, type(uint32).max);
 
@@ -402,6 +410,8 @@ contract RedepositTest is OffchainAssetReceiptVaultTest {
         // Ensure the fuzzed key is within the valid range for secp256k1
         address alice = vm.addr((fuzzedKeyAlice % (SECP256K1_ORDER - 1)) + 1);
         address bob = vm.addr((fuzzedKeyBob % (SECP256K1_ORDER - 1)) + 1);
+        vm.assume(alice != bob);
+
         minShareRatio = bound(minShareRatio, 0, 1e18);
         timestamp = bound(timestamp, 1, type(uint32).max);
         blockNumber = bound(blockNumber, 0, type(uint256).max);