fix: Fix imports for gho_gsm_inverse certora rule

aave · Feb 16, 2024 · 5fae4cb · 5fae4cb
1 parent 55d6856
commit 5fae4cb
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/certora/GSM/conf/non-4626/Alex-gho-gsm_inverse.conf b/certora/GSM/conf/non-4626/Alex-gho-gsm_inverse.conf
@@ -10,9 +10,14 @@
         "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
     ],
     "link": [
-    "GsmHarness:GHO_TOKEN=GhoToken",
-    "GsmHarness:PRICE_STRATEGY=FixedPriceStrategyHarness",
-    "GsmHarness:_feeStrategy=FixedFeeStrategyHarness",
+        "GsmHarness:GHO_TOKEN=GhoToken",
+        "GsmHarness:PRICE_STRATEGY=FixedPriceStrategyHarness",
+        "GsmHarness:_feeStrategy=FixedFeeStrategyHarness",
+    ],
+    "packages": [
+        "@aave/core-v3/=certora/munged/lib/aave-v3-core/",
+        "@aave/periphery-v3/=certora/munged/lib/aave-v3-periphery/",
+        "@openzeppelin/=certora/munged/lib/openzeppelin-contracts/"
     ],
     "assert_autofinder_success": true,
     "optimistic_loop":true,