negative test

daejunpark · daejunpark · commit c919a97b12d0 · 2025-07-28T16:07:06.000-07:00
diff --git a/ERC4626.test.sol b/ERC4626.test.sol
@@ -353,4 +353,8 @@ abstract contract ERC4626Test is ERC4626Prop {
         if (_unlimitedAmount) return type(uint).max;
         return IERC20(_vault_).balanceOf(from); // may be different from maxRedeem(from)
     }
+
+    function test_fail() public {
+        assert(false);
+    }
 }

Original file line number	Diff line number	Diff line change
`@@ -353,4 +353,8 @@ abstract contract ERC4626Test is ERC4626Prop {`
`353`	`353`	`if (_unlimitedAmount) return type(uint).max;`
`354`	`354`	`return IERC20(_vault_).balanceOf(from); // may be different from maxRedeem(from)`
`355`	`355`	`}`
	`356`	`+`
	`357`	`+ function test_fail() public {`
	`358`	`+ assert(false);`
	`359`	`+ }`
`356`	`360`	`}`