fix: updated missing certora confs

bgd-labs · Jun 4, 2024 · 53af573 · 53af573
1 parent fd4dbd4
commit 53af573
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/security/certora/confs/verifyCrossChainForwarder-newEnvelope.conf b/security/certora/confs/verifyCrossChainForwarder-newEnvelope.conf
@@ -8,7 +8,7 @@
     "packages": [
         "@aave/core-v3/=lib/aave-address-book/lib/aave-v3-core",
         "@openzeppelin/=lib/openzeppelin-contracts",
-        "aave-address-book/=lib/aave-address-book/src",
+        "aave-address-book/=lib/aave-helpers/lib/aave-address-book/src",
         "aave-v3-core/=lib/aave-helpers/lib/aave-address-book/lib/aave-v3-core",
         "forge-std/=lib/aave-helpers/lib/forge-std/src",
         "nitro-contracts/=lib/nitro-contracts/src",

diff --git a/security/certora/confs/verifyCrossChainForwarder-sanity.conf b/security/certora/confs/verifyCrossChainForwarder-sanity.conf
@@ -10,7 +10,7 @@
         "@openzeppelin/=lib/openzeppelin-contracts",
         "aave-address-book/=lib/aave-helpers/lib/aave-address-book/src",
         "aave-v3-core/=lib/aave-helpers/lib/aave-address-book/lib/aave-v3-core",
-        "forge-std/=lib/forge-std/src",
+        "forge-std/=lib/aave-helpers/lib/forge-std/src",
         "nitro-contracts/=lib/nitro-contracts/src",
         "openzeppelin-contracts/=lib/openzeppelin-contracts",
         "solidity-utils/=lib/aave-helpers/lib/solidity-utils/src"