test: add regression tests for previous issues (#412)

a16z · Nov 14, 2024 · ce13a9f · ce13a9f
1 parent ac55454
commit ce13a9f
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/tests/expected/all.json b/tests/expected/all.json
@@ -1083,6 +1083,15 @@
             }
         ],
         "test/Foundry.t.sol:FoundryTest": [
+            {
+                "name": "check_assertEqCall(uint256,uint256)",
+                "exitcode": 0,
+                "num_models": 0,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            },
             {
                 "name": "check_assume(uint256)",
                 "exitcode": 0,

diff --git a/tests/regression/test/Foundry.t.sol b/tests/regression/test/Foundry.t.sol
@@ -123,6 +123,16 @@ contract FoundryTest is Test {
     //     vm.etch(who, code);
     //     assertEq(code, who.code);
     // }
+
+    function check_assertEqCall(uint256 a, uint256 b) public {
+        assertEqCall(
+            address(this), abi.encodeCall(this._add, (a, b)), abi.encodeCall(this._add, (a, b))
+        );
+    }
+
+    function _add(uint256 a, uint256 b) public pure returns (uint256 c) {
+        c = a + b;
+    }
 }