From c958cf365b92b7d83c60cfc760cee9e86b470e51 Mon Sep 17 00:00:00 2001 From: Christiane Goltz Date: Wed, 18 Jun 2025 16:34:29 +0200 Subject: [PATCH 1/2] disable storage splitting for ALL_TSTORE hook testcase --- CVLByExample/TransientStorage/Hooks/runTransientStorage.conf | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/CVLByExample/TransientStorage/Hooks/runTransientStorage.conf b/CVLByExample/TransientStorage/Hooks/runTransientStorage.conf index e5317f1d..9173cc7e 100644 --- a/CVLByExample/TransientStorage/Hooks/runTransientStorage.conf +++ b/CVLByExample/TransientStorage/Hooks/runTransientStorage.conf @@ -4,5 +4,6 @@ ], "verify": "MockMutexer:./Mutexer.spec", "solc": "solc8.24", - "solc_evm_version": "cancun" + "solc_evm_version": "cancun", + "prover_args": ["-enableStorageSplitting false"] } \ No newline at end of file From 21b054aa81343ac982e4db8d88ed7063f7a57e6f Mon Sep 17 00:00:00 2001 From: Christiane Goltz Date: Wed, 18 Jun 2025 16:57:43 +0200 Subject: [PATCH 2/2] make slot constants used to access transient storage explicitly constant --- .../TransientStorage/PreservedonTransactionBoundary/Vault.sol | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CVLByExample/TransientStorage/PreservedonTransactionBoundary/Vault.sol b/CVLByExample/TransientStorage/PreservedonTransactionBoundary/Vault.sol index 0d7c3b78..b9a38c51 100644 --- a/CVLByExample/TransientStorage/PreservedonTransactionBoundary/Vault.sol +++ b/CVLByExample/TransientStorage/PreservedonTransactionBoundary/Vault.sol @@ -3,8 +3,8 @@ pragma solidity 0.8.24; import {CallBacker} from './CallBacker.sol'; contract Vault { - bytes32 slot = keccak256("transient"); - bytes32 lock = keccak256("lock"); + bytes32 constant slot = keccak256("transient"); + bytes32 constant lock = keccak256("lock"); int256 storageValue; function tload(bytes32 key) internal returns (int) {