From f2a3830d4919d30d9d2042b75edd5727444d46aa Mon Sep 17 00:00:00 2001 From: teddy Date: Thu, 22 Aug 2024 13:28:46 -0300 Subject: [PATCH] docs: add new properties 26&27 --- packages/contracts-bedrock/test/properties/PROPERTIES.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/packages/contracts-bedrock/test/properties/PROPERTIES.md b/packages/contracts-bedrock/test/properties/PROPERTIES.md index dec3275191be9..b889f8c257d1a 100644 --- a/packages/contracts-bedrock/test/properties/PROPERTIES.md +++ b/packages/contracts-bedrock/test/properties/PROPERTIES.md @@ -86,7 +86,9 @@ legend: | 8 | SupERC20 | sendERC20 with a value of zero does not modify accounting | [ ] | [x] | | 9 | SupERC20 | relayERC20 with a value of zero does not modify accounting | [ ] | [x] | | 10 | SupERC20 | sendERC20 decreases the token's totalSupply in the source chain exactly by the input amount | [ ] | [ ] | +| 26 | SupERC20 | sendERC20 decreases the sender's balance in the source chain exactly by the input amount | [ ] | [ ] | | 11 | SupERC20 | relayERC20 increases the token's totalSupply in the destination chain exactly by the input amount | [ ] | [ ] | +| 27 | SupERC20 | relayERC20 increases sender's balance in the destination chain exactly by the input amount | [ ] | [ ] | | 12 | Liquidity Migration | supertoken total supply only increases on calls to mint() by the L2toL2StandardBridge | [ ] | [~] | | 13 | Liquidity Migration | supertoken total supply only decreases on calls to burn() by the L2toL2StandardBridge | [ ] | [ ] | | 14 | SupERC20 | supertoken total supply starts at zero | [ ] | [x] |