token variable naming fix in constructor (#139)

damilolaedwards · web-flow · commit 5f772cada386 · 2022-09-23T15:15:26.000+02:00
diff --git a/program-analysis/echidna/property-creation.md b/program-analysis/echidna/property-creation.md
@@ -38,7 +38,7 @@ contract Test {
 
   constructor() {
     c = DeFi(..);
-    t.mint(address(this), ...);
+    token.mint(address(this), ...);
   }
   
   function getShares_never_reverts(uint256 val) public {

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ contract Test {`
`38`	`38`
`39`	`39`	`constructor() {`
`40`	`40`	`c = DeFi(..);`
`41`		`- t.mint(address(this), ...);`
	`41`	`+ token.mint(address(this), ...);`
`42`	`42`	`}`
`43`	`43`
`44`	`44`	`function getShares_never_reverts(uint256 val) public {`