chore: rename to enableSymbolicStorage

a16z · Aug 26, 2024 · 85e6b1c · 85e6b1c
1 parent cd01f67
commit 85e6b1c
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/src/halmos/cheatcodes.py b/src/halmos/cheatcodes.py
@@ -321,7 +321,7 @@ class halmos_cheat_code:
         0xBF72FA66: create_bytes32,  # createBytes32(string)
         0x3B0FA01B: create_address,  # createAddress(string)
         0x6E0BB659: create_bool,  # createBool(string)
-        0xCC825563: symbolic_storage,  # initEmptyStorage(address)
+        0xDC00BA4D: symbolic_storage,  # enableSymbolicStorage(address)
     }
 
     @staticmethod

diff --git a/tests/regression/test/Counter.t.sol b/tests/regression/test/Counter.t.sol
@@ -7,7 +7,7 @@ import {SymTest} from "halmos-cheatcodes/SymTest.sol";
 /// @custom:halmos --loop 4
 contract CounterTest is Counter, SymTest {
     function setUp() public {
-        svm.initEmptyStorage(address(this));
+        svm.enableSymbolicStorage(address(this));
     }
 
     function check_set(uint n) public {

diff --git a/tests/regression/test/List.t.sol b/tests/regression/test/List.t.sol
@@ -7,7 +7,7 @@ import {SymTest} from "halmos-cheatcodes/SymTest.sol";
 
 contract ListTest is SymTest, Test, List {
     function setUp() public {
-        svm.initEmptyStorage(address(this));
+        svm.enableSymbolicStorage(address(this));
     }
 
     function check_add(uint x) public {
@@ -42,7 +42,7 @@ contract ListTestTest is SymTest, Test {
     function setUp() public {
         list = new List();
         list.add(1);
-        svm.initEmptyStorage(address(list));
+        svm.enableSymbolicStorage(address(list));
     }
 
     function check_add(uint x) public {

diff --git a/tests/regression/test/Storage.t.sol b/tests/regression/test/Storage.t.sol
@@ -7,7 +7,7 @@ import {SymTest} from "halmos-cheatcodes/SymTest.sol";
 
 contract StorageTest is Storage, SymTest {
     function setUp() public {
-        svm.initEmptyStorage(address(this));
+        svm.enableSymbolicStorage(address(this));
     }
 
     function check_setMap1(uint k, uint v) public {