From 143fcfdacc261c2aa5f000ca8e5e847607a17e6d Mon Sep 17 00:00:00 2001 From: sendra Date: Thu, 25 Jul 2024 16:07:30 +0200 Subject: [PATCH] fix: fixed certora configs --- .../certora/confs/verifyCrossChainControllerWithEmergency.conf | 2 +- .../confs/verifyCrossChainForwarder-encode-decode-correct.conf | 2 +- .../certora/confs/verifyCrossChainForwarder-envelopRetry.conf | 2 +- .../certora/confs/verifyCrossChainForwarder-invariants.conf | 2 +- .../certora/confs/verifyCrossChainForwarder-newEnvelope.conf | 2 +- security/certora/confs/verifyCrossChainForwarder-sanity.conf | 2 +- security/certora/confs/verifyCrossChainForwarder-shuffle.conf | 2 +- .../certora/confs/verifyCrossChainForwarder-simpleRules.conf | 2 +- security/certora/confs/verifyCrossChainReceiver.conf | 2 +- 9 files changed, 9 insertions(+), 9 deletions(-) diff --git a/security/certora/confs/verifyCrossChainControllerWithEmergency.conf b/security/certora/confs/verifyCrossChainControllerWithEmergency.conf index 6f14e437..cd324aef 100644 --- 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 index 8d80db6f..39e3f808 100644 --- 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 index 03d75474..297853c0 100644 --- 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 index 3507fc6c..f5c6f08a 100644 --- 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 index 810a41b9..a2ac3dbd 100644 --- 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 index 64dc1167..92c0d449 100644 --- 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 index fffea3c7..705b7af9 100644 --- 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 index d4c994fd..2b587820 100644 --- 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 index 948ccd45..5accc08f 100644 --- 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",