test: add check_etch_then_load (#410)

a16z · Nov 13, 2024 · ac55454 · ac55454
1 parent c136108
commit ac55454
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/tests/expected/all.json b/tests/expected/all.json
@@ -1166,6 +1166,15 @@
                 "time": null,
                 "num_bounded_loops": null
             },
+            {
+                "name": "check_etch_then_load()",
+                "exitcode": 0,
+                "num_models": 0,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            },
             {
                 "name": "check_etch_then_store()",
                 "exitcode": 0,

diff --git a/tests/regression/test/Foundry.t.sol b/tests/regression/test/Foundry.t.sol
@@ -127,7 +127,7 @@ contract FoundryTest is Test {
 
 
 contract NotEtchFriendly {
-    address owner;
+    address public owner;
 
     constructor() {
         owner = msg.sender;
@@ -167,4 +167,8 @@ contract TestNotEtchFriendly is Test {
 
         target.beepBoop();
     }
+
+    function check_etch_then_load() external {
+        assertEq(target.owner(), address(0));
+    }
 }