test: add back omitted test

a16z · Jul 16, 2024 · 362494f · 362494f
1 parent bf6d849
commit 362494f
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/tests/expected/all.json b/tests/expected/all.json
@@ -766,6 +766,17 @@
                 "num_bounded_loops": null
             }
         ],
+        "test/Foundry.t.sol:DeepFailer": [
+            {
+                "name": "check_fail_cheatcode()",
+                "exitcode": 1,
+                "num_models": 1,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            }
+        ],
         "test/Foundry.t.sol:FoundryTest": [
             {
                 "name": "check_assume(uint256)",

diff --git a/tests/regression/test/Foundry.t.sol b/tests/regression/test/Foundry.t.sol
@@ -16,7 +16,7 @@ contract DeepFailer is Test {
         }
     }
 
-    function test_fail_cheatcode() public {
+    function check_fail_cheatcode() public {
         DeepFailer(address(this)).do_test(0);
     }
 }
-Original file line number
+Diff line change
@@ Expand Up / @@ -16,7 +16,7 @@ contract DeepFailer is Test { @@
             }
         }
-        function test_fail_cheatcode() public {
+        function check_fail_cheatcode() public {
             DeepFailer(address(this)).do_test(0);
         }
     }
@@ Expand Down @@