docs(property creation): remove function parameter

ChmielewskiKamil · ChmielewskiKamil · commit 95886052a308 · 2022-12-06T17:49:31.000+01:00
diff --git a/program-analysis/echidna/property-creation.md b/program-analysis/echidna/property-creation.md
@@ -41,7 +41,7 @@ contract Test {
     token.mint(address(this), ...);
   }
   
-  function getShares_never_reverts(uint256 val) public {
+  function getShares_never_reverts() public {
       (bool b,) = c.call(abi.encodeWithSignature("getShares(address)", address(this)));
       assert(b);
   }

Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@ contract Test {`
`41`	`41`	`token.mint(address(this), ...);`
`42`	`42`	`}`
`43`	`43`
`44`		`- function getShares_never_reverts(uint256 val) public {`
	`44`	`+ function getShares_never_reverts() public {`
`45`	`45`	`(bool b,) = c.call(abi.encodeWithSignature("getShares(address)", address(this)));`
`46`	`46`	`assert(b);`
`47`	`47`	`}`