add parametric contracts to liquidation conf

Certora · May 20, 2024 · 7949ef0 · 7949ef0
1 parent fd7ce2d
commit 7949ef0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/certora/confs/Governance_verified.conf b/certora/confs/Governance_verified.conf
@@ -11,6 +11,7 @@
     "GovernanceHarness:evc=EthereumVaultConnector"
   ],
   "verify": "GovernanceHarness:certora/specs/Governance.spec",
+  "parametric_contracts": ["GovernanceHarness"],
   "rule_sanity": "basic",
   "msg": "Governance benchmarking",
   "packages": [