fix: fixed certora configs

bgd-labs · Jul 25, 2024 · 143fcfd · 143fcfd
1 parent f413948
commit 143fcfd
Show file tree

Hide file tree

Showing 9 changed files with 9 additions and 9 deletions.
diff --git a/security/certora/confs/verifyCrossChainControllerWithEmergency.conf b/security/certora/confs/verifyCrossChainControllerWithEmergency.conf
@@ -9,7 +9,7 @@
     "optimistic_loop": true,
     "packages": [
         "solidity-utils/=lib/solidity-utils/src",
-        "forge-std/=lib/aave-helpers/lib/forge-std/src",
+        "forge-std/=lib/solidity-utils/lib/forge-std/src",
         "openzeppelin-contracts/=lib/openzeppelin-contracts",
     ],
     "process": "emv",

diff --git a/security/certora/confs/verifyCrossChainForwarder-encode-decode-correct.conf b/security/certora/confs/verifyCrossChainForwarder-encode-decode-correct.conf
@@ -6,7 +6,7 @@
     "link": [],
     "packages": [
         "solidity-utils/=lib/solidity-utils/src",
-        "forge-std/=lib/aave-helpers/lib/forge-std/src",
+        "forge-std/=lib/solidity-utils/lib/forge-std/src",
         "openzeppelin-contracts/=lib/openzeppelin-contracts",
     ],
     "verify": "CrossChainForwarderHarnessED:security/certora/specs/CrossChainForwarder-encode-decode-correct.spec",

diff --git a/security/certora/confs/verifyCrossChainForwarder-envelopRetry.conf b/security/certora/confs/verifyCrossChainForwarder-envelopRetry.conf
@@ -6,7 +6,7 @@
     "link": [],
     "packages": [
         "solidity-utils/=lib/solidity-utils/src",
-        "forge-std/=lib/aave-helpers/lib/forge-std/src",
+        "forge-std/=lib/solidity-utils/lib/forge-std/src",
         "openzeppelin-contracts/=lib/openzeppelin-contracts",
     ],
     "verify": "CrossChainForwarderHarness:security/certora/specs/CrossChainForwarder-envelopRetry.spec",

diff --git a/security/certora/confs/verifyCrossChainForwarder-invariants.conf b/security/certora/confs/verifyCrossChainForwarder-invariants.conf
@@ -6,7 +6,7 @@
     "link": [],
     "packages": [
         "solidity-utils/=lib/solidity-utils/src",
-        "forge-std/=lib/aave-helpers/lib/forge-std/src",
+        "forge-std/=lib/solidity-utils/lib/forge-std/src",
         "openzeppelin-contracts/=lib/openzeppelin-contracts",
     ],
     "verify": "CrossChainForwarderHarness:security/certora/specs/invariants.spec",

diff --git a/security/certora/confs/verifyCrossChainForwarder-newEnvelope.conf b/security/certora/confs/verifyCrossChainForwarder-newEnvelope.conf
@@ -6,7 +6,7 @@
     "link": [],
     "packages": [
         "solidity-utils/=lib/solidity-utils/src",
-        "forge-std/=lib/aave-helpers/lib/forge-std/src",
+        "forge-std/=lib/solidity-utils/lib/forge-std/src",
         "openzeppelin-contracts/=lib/openzeppelin-contracts",
     ],
     "verify": "CrossChainForwarderHarness:security/certora/specs/CrossChainForwarder-newEnvelope.spec",

diff --git a/security/certora/confs/verifyCrossChainForwarder-sanity.conf b/security/certora/confs/verifyCrossChainForwarder-sanity.conf
@@ -6,7 +6,7 @@
     "link": [],
     "packages": [
         "solidity-utils/=lib/solidity-utils/src",
-        "forge-std/=lib/aave-helpers/lib/forge-std/src",
+        "forge-std/=lib/solidity-utils/lib/forge-std/src",
         "openzeppelin-contracts/=lib/openzeppelin-contracts",
     ],
     "verify": "CrossChainForwarderHarness:security/certora/specs/CrossChainForwarder-sanity.spec",

diff --git a/security/certora/confs/verifyCrossChainForwarder-shuffle.conf b/security/certora/confs/verifyCrossChainForwarder-shuffle.conf
@@ -6,7 +6,7 @@
     "link": [],
     "packages": [
         "solidity-utils/=lib/solidity-utils/src",
-        "forge-std/=lib/aave-helpers/lib/forge-std/src",
+        "forge-std/=lib/solidity-utils/lib/forge-std/src",
         "openzeppelin-contracts/=lib/openzeppelin-contracts",
     ],
     "verify": "CrossChainForwarderHarness:security/certora/specs/CrossChainForwarder-shuffle.spec",

diff --git a/security/certora/confs/verifyCrossChainForwarder-simpleRules.conf b/security/certora/confs/verifyCrossChainForwarder-simpleRules.conf
@@ -6,7 +6,7 @@
     "link": [],
     "packages": [
         "solidity-utils/=lib/solidity-utils/src",
-        "forge-std/=lib/aave-helpers/lib/forge-std/src",
+        "forge-std/=lib/solidity-utils/lib/forge-std/src",
         "openzeppelin-contracts/=lib/openzeppelin-contracts",
     ],
     "verify": "CrossChainForwarderHarness:security/certora/specs/CrossChainForwarder-simpleRules.spec",

diff --git a/security/certora/confs/verifyCrossChainReceiver.conf b/security/certora/confs/verifyCrossChainReceiver.conf
@@ -12,7 +12,7 @@
     "optimistic_loop": true,
     "packages": [
         "solidity-utils/=lib/solidity-utils/src",
-        "forge-std/=lib/aave-helpers/lib/forge-std/src",
+        "forge-std/=lib/solidity-utils/lib/forge-std/src",
         "openzeppelin-contracts/=lib/openzeppelin-contracts",
     ],
     "process": "emv",