Merge pull request #249 from morpho-org/colin@verif/reformatting

[Certora] Formatting
morpho-org · Feb 17, 2025 · 3c6f54e · 3c6f54e
2 parents d8d8de7 + 25951d0
commit 3c6f54e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/certora/specs/AllowancesInvariant.spec b/certora/specs/AllowancesInvariant.spec
@@ -38,9 +38,9 @@ definition isTrusted(address spender) returns bool =
 
 invariant allowancesAreReset(address token, address spender)
     isTrusted(spender) || changedAllowances[token][spender] == 0
-    // The rule is not true for the following functions (because of the unresolved call to augustus).
+    // The invariant doesn't hold with the following functions.
     filtered {
-        f -> f.selector != sig:ParaswapAdapter.buy(address, bytes ,address, address, uint256, ParaswapAdapter.Offsets, address).selector &&
-        f.selector != sig:ParaswapAdapter.buyMorphoDebt(address, bytes , address, ParaswapAdapter.MarketParams, ParaswapAdapter.Offsets, address, address).selector &&
-        f.selector != sig:ParaswapAdapter.sell(address, bytes, address, address, bool, ParaswapAdapter.Offsets, address).selector
+      f -> f.selector != sig:ParaswapAdapter.buy(address, bytes ,address, address, uint256, ParaswapAdapter.Offsets, address).selector &&
+           f.selector != sig:ParaswapAdapter.buyMorphoDebt(address, bytes , address, ParaswapAdapter.MarketParams, ParaswapAdapter.Offsets, address, address).selector &&
+           f.selector != sig:ParaswapAdapter.sell(address, bytes, address, address, bool, ParaswapAdapter.Offsets, address).selector
     }