test: halmos nonce can't decrease

morpho-org · Apr 22, 2024 · 46c6f46 · 46c6f46
1 parent 1221cce
commit 46c6f46
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/test/forge/HalmosTest.sol b/test/forge/HalmosTest.sol
@@ -164,4 +164,14 @@ contract HalmosTest is SymTest, Test {
 
         assert(morpho.isIrmEnabled(address(irm)));
     }
+
+    // Check that the nonce of users cannot decrease.
+    function check_nonceCannotDecrease(bytes4 selector, address caller, address user) public {
+        uint256 nonceBefore = morpho.nonce(user);
+
+        _callMorpho(selector, caller);
+
+        uint256 nonceAfter = morpho.nonce(user);
+        assert(nonceAfter == nonceBefore);
+    }
 }