Update IKontrolCheatsBase.sol (#17)

runtimeverification · Dec 9, 2024 · cb50e05 · cb50e05
1 parent c2bdec7
commit cb50e05
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/IKontrolCheatsBase.sol b/src/IKontrolCheatsBase.sol
@@ -22,8 +22,6 @@ interface KontrolCheatsBase {
     function symbolicStorage(address) external;
     // Makes the storage of the given address completely symbolic with specified K variable name.
     function symbolicStorage(address, string calldata) external;
-    // Makes the storage of the given address completely symbolic with specified K variable name.
-    function setArbitraryStorage(address, string calldata) external;
     // Adds an address to the whitelist.
     function allowCallsToAddress(address) external;
     // Adds an address and a storage slot to the whitelist.