refactor: add condition to Counter for property

Recon-Fuzz · Sep 26, 2024 · f4fc0c9 · f4fc0c9
1 parent 48e6999
commit f4fc0c9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 22 deletions.
diff --git a/script/Counter.s.sol b/script/Counter.s.sol
diff --git a/src/Counter.sol b/src/Counter.sol
@@ -2,13 +2,15 @@
 pragma solidity ^0.8.13;
 
 contract Counter {
-    uint256 public number;
+    uint256 public number = 1;
 
     function setNumber(uint256 newNumber) public {
-        number = newNumber;
+        if (newNumber != 0) {
+            number = newNumber;
+        }
     }
 
     function increment() public {
         number++;
     }
-}
+}