From 53af573fed183efe216573982b0aab832018e4e7 Mon Sep 17 00:00:00 2001 From: sendra Date: Tue, 4 Jun 2024 18:19:38 +0200 Subject: [PATCH] fix: updated missing certora confs --- .../certora/confs/verifyCrossChainForwarder-newEnvelope.conf | 2 +- security/certora/confs/verifyCrossChainForwarder-sanity.conf | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/security/certora/confs/verifyCrossChainForwarder-newEnvelope.conf b/security/certora/confs/verifyCrossChainForwarder-newEnvelope.conf index 17b3fb4c..2fcba282 100644 --- 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 index 75480144..35fdf7c9 100644 --- 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"