test: add empty initial balance test

a16z · Aug 23, 2024 · 8d9befd · 8d9befd
1 parent 8f2978c
commit 8d9befd
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/tests/expected/all.json b/tests/expected/all.json
@@ -829,6 +829,15 @@
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
+            },
+            {
+                "name": "check_initial_balance(address)",
+                "exitcode": 0,
+                "num_models": 0,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
             }
         ],
         "test/Extcodehash.t.sol:ExtcodehashTest": [

diff --git a/tests/regression/test/Deal.t.sol b/tests/regression/test/Deal.t.sol
@@ -6,6 +6,10 @@ import "forge-std/Test.sol";
 contract DealTest is Test {
     C c;
 
+    function check_initial_balance(address addr) public {
+        assertEq(addr.balance, 0);
+    }
+
     function check_deal_1(address payable receiver, uint amount) public {
         vm.deal(receiver, amount);
         assert(receiver.balance == amount);