From 92ab1e50dda98d24141e8ef7642106a451fd2471 Mon Sep 17 00:00:00 2001 From: Andrea Franz Date: Fri, 16 Aug 2024 11:59:59 +0200 Subject: [PATCH] chore(certora): set MarketplaceHarness as parametric_contract config value --- certora/confs/Marketplace.conf | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/certora/confs/Marketplace.conf b/certora/confs/Marketplace.conf index 658f55c..2dc6fe4 100644 --- a/certora/confs/Marketplace.conf +++ b/certora/confs/Marketplace.conf @@ -5,12 +5,12 @@ "contracts/Groth16Verifier.sol", "certora/helpers/ERC20A.sol", ], - "parametric_contracts": ["Marketplace"], + "parametric_contracts": ["MarketplaceHarness"], "link" : [ - "Marketplace:_token=ERC20A", - "Marketplace:_verifier=Groth16Verifier" + "MarketplaceHarness:_token=ERC20A", + "MarketplaceHarness:_verifier=Groth16Verifier" ], - "msg": "Verifying Marketplace", + "msg": "Verifying MarketplaceHarness", "rule_sanity": "basic", "verify": "MarketplaceHarness:certora/specs/Marketplace.spec", "optimistic_loop": true,