chore: rename bridge->senderc20 method for consistency with relayerc20

defi-wonderland · Aug 22, 2024 · e6e715e · e6e715e
1 parent 1dc67b2
commit e6e715e
Showing 1 changed file with 2 additions and 2 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
@@ -152,7 +152,7 @@ contract ProtocolProperties is ProtocolHandler, CryticERC20ExternalBasicProperti
     /// @custom:property sendERC20 decreases sender balance in source chain exactly by the input amount
     /// @custom:property-id 10
     /// @custom:property sendERC20 decreases total supply in source chain exactly by the input amount
-    function property_BridgeSupertoken(
+    function property_SendERC20(
         uint256 fromIndex,
         uint256 recipientIndex,
         uint256 destinationChainId,
@@ -221,7 +221,7 @@ contract ProtocolProperties is ProtocolHandler, CryticERC20ExternalBasicProperti
 
     /// @custom:property-id 8
     /// @custom:property calls to sendERC20 with a value of zero dont modify accounting
-    // NOTE: should we keep it? will cause the exact same coverage as property_BridgeSupertoken
+    // NOTE: should we keep it? will cause the exact same coverage as SendERC20
     function property_SendZeroDoesNotModifyAccounting(
         uint256 fromIndex,
         uint256 recipientIndex,