From ad991304b11822dbfc1a68074d071929941a343c Mon Sep 17 00:00:00 2001
From: Mark Spanbroek <mark@spanbroek.net>
Date: Thu, 12 Jun 2025 17:14:49 +0200
Subject: [PATCH] certora: cleanup

---
 certora/confs/Vault.conf | 10 ----------
 certora/specs/Vault.spec |  6 ------
 2 files changed, 16 deletions(-)

diff --git a/certora/confs/Vault.conf b/certora/confs/Vault.conf
index 5d69581..58f7cfa 100644
--- a/certora/confs/Vault.conf
+++ b/certora/confs/Vault.conf
@@ -1,18 +1,11 @@
 {
     "files": [
         "certora/harness/VaultHarness.sol",
-        //"contracts/Vault.sol",
-        // "certora/harness/MarketplaceHarness.sol",
-        // "contracts/Marketplace.sol",
-        // "contracts/Vault.sol",
-        // "contracts/Groth16Verifier.sol",
         "certora/helpers/ERC20A.sol",
     ],
     "parametric_contracts": ["VaultHarness"],
     "link" : [
         "VaultHarness:_token=ERC20A",
-    //     "MarketplaceHarness:_vault=VaultHarness",
-    //     "MarketplaceHarness:_verifier=Groth16Verifier"
     ],
     "packages": [
         "@openzeppelin/=node_modules/@openzeppelin",
@@ -20,9 +13,6 @@
     "msg": "Verifying Vault",
     "rule_sanity": "basic",
     "verify": "VaultHarness:certora/specs/Vault.spec",
-    // "optimistic_loop": true,
     "loop_iter": "3",
-    // "optimistic_hashing": true,
-    // "hashing_length_bound": "512",
     "build_cache": true,
 }
diff --git a/certora/specs/Vault.spec b/certora/specs/Vault.spec
index 307345f..f838288 100644
--- a/certora/specs/Vault.spec
+++ b/certora/specs/Vault.spec
@@ -6,12 +6,6 @@ methods {
     function Token.totalSupply() external returns (uint256) envfree;
 }
 
-// rule sanity(env e, method f) {
-//     calldataarg args;
-//     f(e, args);
-//     satisfy true;
-// }
-