docs: add new properties 26&27

defi-wonderland · Aug 22, 2024 · f2a3830 · f2a3830
1 parent 21b27e7
commit f2a3830
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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]    |