test: add assumptions that addresses do not clash

reservoir-labs · Dec 16, 2024 · ba1eb1b · ba1eb1b
1 parent 6426396
commit ba1eb1b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/test/large/ReservoirPriceOracleLarge.t.sol b/test/large/ReservoirPriceOracleLarge.t.sol
@@ -46,6 +46,10 @@ contract ReservoirPriceOracleLargeTest is ReservoirPriceOracleTest {
         assumeNotForgeAddress(aTokenBAddress);
         assumeNotForgeAddress(aTokenCAddress);
         assumeNotForgeAddress(aTokenDAddress);
+        vm.assume(
+            aTokenAAddress != aTokenBAddress && aTokenAAddress != aTokenCAddress && aTokenAAddress != aTokenDAddress
+                && aTokenBAddress != aTokenCAddress && aTokenBAddress != aTokenDAddress && aTokenBAddress != aTokenDAddress
+        );
         uint256 lPrice1 = bound(aPrice1, 1e12, 1e24);
         uint256 lPrice2 = bound(aPrice2, 1e12, 1e24);
         uint256 lPrice3 = bound(aPrice3, 1e12, 1e24);