Merge pull request #195 from ChmielewskiKamil/patch-2

montyly · web-flow · commit 8592eb9156b9 · 2023-01-25T12:34:23.000+01:00
docs: typo fix
diff --git a/program-analysis/echidna/assertion-checking.md b/program-analysis/echidna/assertion-checking.md
@@ -44,7 +44,7 @@ contract Incrementor {
 }
 ```
 
-We could also use a special event called `AssertionFailed` with any number of parameters to let Echidna know about a failed assertion without using `assert`. This will works in any contract. For instance:
+We could also use a special event called `AssertionFailed` with any number of parameters to let Echidna know about a failed assertion without using `assert`. This will work in any contract. For instance:
 
 ```solidity
 contract Incrementor {

Original file line number	Diff line number	Diff line change
`@@ -44,7 +44,7 @@ contract Incrementor {`
`44`	`44`	`}`
`45`	`45`	```
`46`	`46`
`47`		-We could also use a special event called `AssertionFailed` with any number of parameters to let Echidna know about a failed assertion without using `assert`. This will works in any contract. For instance:
	`47`	+We could also use a special event called `AssertionFailed` with any number of parameters to let Echidna know about a failed assertion without using `assert`. This will work in any contract. For instance:
`48`	`48`
`49`	`49`	```solidity
`50`	`50`	`contract Incrementor {`