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

defi-wonderland · Aug 23, 2024 · 87891c8 · 87891c8
1 parent c732286
commit 87891c8
Showing 1 changed file with 0 additions and 1 deletion.
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);