Skip to content

Commit

Permalink
docs: fix properties order
Browse files Browse the repository at this point in the history
  • Loading branch information
@0xteddybear
0xteddybear committed Aug 14, 2024
1 parent 473a0bb commit ca1f668
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions packages/contracts-bedrock/test/properties/PROPERTIES.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,9 +55,9 @@ It’s worth noting that these properties will not hold for a live system

| id | description | halmos | echidna |
| --- | --- | --- | --- |
| 20 | sendERC20 decreases sender balance in source chain and increases receiver balance in destination chain exactly by the input amount | [ ] | [ ] |
| 21 | sendERC20 decreases total supply in source chain and increases it in destination chain exactly by the input amount | [ ] | [ ] |
| 22 | sum of supertoken total supply across all chains is always equal to convert(legacy, super)- convert(super, legacy) | [ ] | [ ] |
| 22 | sendERC20 decreases sender balance in source chain and increases receiver balance in destination chain exactly by the input amount | [ ] | [ ] |
| 23 | sendERC20 decreases total supply in source chain and increases it in destination chain exactly by the input amount | [ ] | [ ] |
| 24 | sum of supertoken total supply across all chains is always equal to convert(legacy, super)- convert(super, legacy) | [ ] | [ ] |

# Expected external interactions

Expand Down

0 comments on commit ca1f668

Please sign in to comment.