chore: document the reason behind relay zero and send zero inconsiste…

…ncies
defi-wonderland · Aug 23, 2024 · b092e44 · b092e44
1 parent dbbfb4b
commit b092e44
Showing 1 changed file with 2 additions and 0 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
@@ -236,6 +236,8 @@ contract ProtocolProperties is ProtocolHandler, CryticERC20ExternalBasicProperti
     /// @custom:property calls to relayERC20 with a value of zero dont modify accounting
     /// @custom:property-id 7
     /// @custom:property calls to relayERC20 always succeed as long as the cross-domain caller is valid
+    /// @notice cant call property_RelayERC20 internally since that pops a
+    /// random message, which we cannot guarantee has a value of zero
     function property_RelayZeroDoesNotModifyAccounting(
         uint256 fromIndex,
         uint256 recipientIndex