From ac6cfd2488fe9266e00d9496f9c08eae2c916c34 Mon Sep 17 00:00:00 2001 From: Quentin Garchery Date: Thu, 5 Dec 2024 14:12:13 +0100 Subject: [PATCH] refactor: remove now useless workaround --- certora/helpers/MockDllFifo.sol | 7 ------- certora/helpers/MockDllSimple.sol | 7 ------- 2 files changed, 14 deletions(-) diff --git a/certora/helpers/MockDllFifo.sol b/certora/helpers/MockDllFifo.sol index 26cc3b4..de97115 100644 --- a/certora/helpers/MockDllFifo.sol +++ b/certora/helpers/MockDllFifo.sol @@ -12,13 +12,6 @@ contract MockDllFifo { uint256 public maxIterations; - uint256 internal dummy_state_variable; - - function dummy_state_modifying_function() public { - // to fix a CVL error when only one function is accessible - dummy_state_variable = 1; - } - function getValueOf(address _id) public view returns (uint256) { return dll.getValueOf(_id); } diff --git a/certora/helpers/MockDllSimple.sol b/certora/helpers/MockDllSimple.sol index a835202..65950fa 100644 --- a/certora/helpers/MockDllSimple.sol +++ b/certora/helpers/MockDllSimple.sol @@ -10,13 +10,6 @@ contract MockDllSimple { DoubleLinkedList.List public dll; - uint256 internal dummy_state_variable; - - function dummy_state_modifying_function() public { - // to fix a CVL error when only one function is accessible - dummy_state_variable = 1; - } - function getValueOf(address _id) public view returns (uint256) { return dll.getValueOf(_id); }