test: not-yet-deployed supertokens can get funds sent to them

defi-wonderland · Aug 23, 2024 · cf9dc9a · cf9dc9a
1 parent e6e715e
commit cf9dc9a
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol b/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol
@@ -117,7 +117,6 @@ contract ProtocolProperties is ProtocolHandler, CryticERC20ExternalBasicProperti
         OptimismSuperchainERC20 sourceToken = OptimismSuperchainERC20(allSuperTokens[fromIndex]);
         OptimismSuperchainERC20 destinationToken =
             MESSENGER.crossChainMessageReceiver(address(sourceToken), destinationChainId);
-        require(address(destinationToken) != address(0));
         uint256 sourceBalanceBefore = sourceToken.balanceOf(currentActor());
         uint256 sourceSupplyBefore = sourceToken.totalSupply();
         uint256 destinationBalanceBefore = destinationToken.balanceOf(recipient);
@@ -237,8 +236,6 @@ contract ProtocolProperties is ProtocolHandler, CryticERC20ExternalBasicProperti
         bytes32 deploySalt = MESSENGER.superTokenInitDeploySalts(address(sourceToken));
         OptimismSuperchainERC20 destinationToken =
             MESSENGER.crossChainMessageReceiver(address(sourceToken), destinationChainId);
-        // TODO: perhaps the mock should already start ignoring this?
-        require(address(destinationToken) != address(0));
         uint256 sourceBalanceBefore = sourceToken.balanceOf(currentActor());
         uint256 sourceSupplyBefore = sourceToken.totalSupply();
         uint256 destinationBalanceBefore = destinationToken.balanceOf(recipient);