Skip to content

Commit

Permalink
fix: Fix certora config file
Browse files Browse the repository at this point in the history
miguelmtzinf committed Jun 11, 2024
1 parent 1576e9b commit a4e1970
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions certora/gho/conf/verifyUpgradeableGhoToken.conf
Original file line number Diff line number Diff line change
@@ -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.",

0 comments on commit a4e1970

Please sign in to comment.