From a4e1970b0253a51f6365aab10e7da9ecd3344d20 Mon Sep 17 00:00:00 2001 From: miguelmtzinf Date: Tue, 11 Jun 2024 10:19:36 +0200 Subject: [PATCH] fix: Fix certora config file --- certora/gho/conf/verifyUpgradeableGhoToken.conf | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/certora/gho/conf/verifyUpgradeableGhoToken.conf b/certora/gho/conf/verifyUpgradeableGhoToken.conf index 6c6bb513..d6b5fec9 100644 --- a/certora/gho/conf/verifyUpgradeableGhoToken.conf +++ b/certora/gho/conf/verifyUpgradeableGhoToken.conf @@ -3,10 +3,8 @@ "certora/gho/harness/UpgradeableGhoTokenHarness.sol:UpgradeableGhoTokenHarness", ], "packages": [ - "@aave/core-v3/=lib/aave-v3-core", - "@aave/periphery-v3/=lib/aave-v3-periphery", - "@aave/=lib/aave-token", "@openzeppelin/=lib/openzeppelin-contracts", + "solidity-utils/=lib/solidity-utils/src/", ], "loop_iter": "3", "msg": "GhoToken, all rules.",