From e6e715eca56901cbf22b0792e643d69e8f373bfa Mon Sep 17 00:00:00 2001 From: teddy Date: Thu, 22 Aug 2024 20:58:26 -0300 Subject: [PATCH] chore: rename bridge->senderc20 method for consistency with relayerc20 --- .../test/properties/medusa/Protocol.properties.t.sol | 4 ++-- 1 file changed, 2 insertions(+), 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 index de76a0462c3be..ba339bc44b112 100644 --- 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,