chore: update property

defi-wonderland · Aug 15, 2024 · b65259c · b65259c
1 parent 3b831a6
commit b65259c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/contracts-bedrock/test/invariants/PROPERTIES.md b/packages/contracts-bedrock/test/invariants/PROPERTIES.md
@@ -24,7 +24,7 @@ legend:
 | id  | description                                                                                | halmos  | medusa |
 | --- | ------------------------------------------------------------------------------------------ | ------- | ------ |
 | 6   | calls to sendERC20 succeed as long as caller has enough balance                            | [x]     | [ ]    |
-| 7   | calls to relayERC20 always succeed as long as the sender and cross-domain caller are valid | **[x]** | [ ]    |
+| 7   | calls to relayERC20 always succeed as long as the sender and cross-domain caller are valid | **[~]** | [ ]    |
 
 ## Variable transition