update test names

a16z · Sep 13, 2024 · 0b3847d · 0b3847d
1 parent 546aee0
commit 0b3847d
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 16 deletions.
diff --git a/tests/expected/all.json b/tests/expected/all.json
@@ -1203,35 +1203,35 @@
                 "num_bounded_loops": null
             },
             {
-                "name": "check_createCalldata_Beep_1()",
-                "exitcode": 0,
+                "name": "check_createCalldata_Beep_1_excluding_pure()",
+                "exitcode": 4,
                 "num_models": 0,
                 "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
             },
             {
-                "name": "check_createCalldata_Beep_1_excluding_pure()",
-                "exitcode": 4,
+                "name": "check_createCalldata_Beep_1_including_pure()",
+                "exitcode": 0,
                 "num_models": 0,
                 "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
             },
             {
-                "name": "check_createCalldata_Beep_2()",
-                "exitcode": 0,
+                "name": "check_createCalldata_Beep_2_excluding_pure()",
+                "exitcode": 4,
                 "num_models": 0,
                 "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
             },
             {
-                "name": "check_createCalldata_Beep_2_excluding_pure()",
-                "exitcode": 4,
+                "name": "check_createCalldata_Beep_2_including_pure()",
+                "exitcode": 0,
                 "num_models": 0,
                 "models": null,
                 "num_paths": null,
@@ -1266,7 +1266,7 @@
                 "num_bounded_loops": null
             },
             {
-                "name": "check_createCalldata_Mock_2()",
+                "name": "check_createCalldata_Mock_2_excluding_view()",
                 "exitcode": 1,
                 "num_models": 40,
                 "models": null,
@@ -1293,7 +1293,7 @@
                 "num_bounded_loops": null
             },
             {
-                "name": "check_createCalldata_Mock_4()",
+                "name": "check_createCalldata_Mock_4_excluding_view()",
                 "exitcode": 1,
                 "num_models": 40,
                 "models": null,
@@ -1311,7 +1311,7 @@
                 "num_bounded_loops": null
             },
             {
-                "name": "check_createCalldata_Mock_interface()",
+                "name": "check_createCalldata_Mock_interface_excluding_view()",
                 "exitcode": 1,
                 "num_models": 40,
                 "models": null,

diff --git a/tests/regression/test/HalmosCheatCode.t.sol b/tests/regression/test/HalmosCheatCode.t.sol
@@ -144,7 +144,7 @@ contract HalmosCheatCodeTest is SymTest, Test {
         _check_createCalldata_Beep(data); // fail because the only function in Beep is pure, which is excluded in createCalldata()
     }
 
-    function check_createCalldata_Beep_1() public {
+    function check_createCalldata_Beep_1_including_pure() public {
         bytes memory data = svm.createCalldata("HalmosCheatCode.t.sol", "Beep", true);
         _check_createCalldata_Beep(data);
     }
@@ -154,7 +154,7 @@ contract HalmosCheatCodeTest is SymTest, Test {
         _check_createCalldata_Beep(data); // fail because the only function in Beep is pure, which is excluded in createCalldata()
     }
 
-    function check_createCalldata_Beep_2() public {
+    function check_createCalldata_Beep_2_including_pure() public {
         bytes memory data = svm.createCalldata("Beep", true);
         _check_createCalldata_Beep(data);
     }
@@ -172,7 +172,7 @@ contract HalmosCheatCodeTest is SymTest, Test {
         _check_createCalldata_Mock(data);
     }
 
-    function check_createCalldata_Mock_2() public {
+    function check_createCalldata_Mock_2_excluding_view() public {
         bytes memory data = svm.createCalldata("Mock", false);
         _check_createCalldata_Mock(data);
     }
@@ -187,7 +187,7 @@ contract HalmosCheatCodeTest is SymTest, Test {
         _check_createCalldata_Mock(data);
     }
 
-    function check_createCalldata_Mock_4() public {
+    function check_createCalldata_Mock_4_excluding_view() public {
         bytes memory data = svm.createCalldata("HalmosCheatCode.t.sol", "Mock", false);
         _check_createCalldata_Mock(data);
     }
@@ -197,7 +197,7 @@ contract HalmosCheatCodeTest is SymTest, Test {
         _check_createCalldata_Mock(data);
     }
 
-    function check_createCalldata_Mock_interface() public {
+    function check_createCalldata_Mock_interface_excluding_view() public {
         bytes memory data = svm.createCalldata("IMock");
         _check_createCalldata_Mock(data);
     }