From cbe52b49341a031d4f37652f304b09337bfc68fe Mon Sep 17 00:00:00 2001 From: Mark Spanbroek Date: Thu, 12 Jun 2025 16:55:16 +0200 Subject: [PATCH] certora: remove configuration that fixes solidity to solc8.28 Reason: makes certoraRun in the CI fail --- certora/confs/Marketplace.conf | 1 - certora/confs/Vault.conf | 1 - 2 files changed, 2 deletions(-) diff --git a/certora/confs/Marketplace.conf b/certora/confs/Marketplace.conf index 63b580a..395ebae 100644 --- a/certora/confs/Marketplace.conf +++ b/certora/confs/Marketplace.conf @@ -19,5 +19,4 @@ "loop_iter": "3", "optimistic_hashing": true, "hashing_length_bound": "512", - "solc": "solc8.28", } diff --git a/certora/confs/Vault.conf b/certora/confs/Vault.conf index 2c73a9a..5d69581 100644 --- a/certora/confs/Vault.conf +++ b/certora/confs/Vault.conf @@ -25,5 +25,4 @@ // "optimistic_hashing": true, // "hashing_length_bound": "512", "build_cache": true, - "solc": "solc8.28", }