Minor

montyly · montyly · commit dc19e5dd68d5 · 2023-07-11T14:37:05.000+02:00
diff --git a/program-analysis/echidna/advanced/using-all-contracts.md b/program-analysis/echidna/advanced/using-all-contracts.md
@@ -122,4 +122,4 @@ Testing with `allContracts` is a useful tool for complex systems that require th
 
 A side-effect of using `allContracts` is that the search space grows with the number of functions that can be called. This, combined with high values of sequence lengths, can make the fuzzing test not so thorough, because the dimension of the search space is simply too big to reasonably explore. Finally, adding more functions as fuzzing candidates makes the campaigns to take up more execution time.
 
-A final remark is that `allContracts` testing in assertion mode ignores all assert failures from the contracts not under test. This is shown in `Flag.test_fail()` function: even though it explicitly asserts false, the Echidna test ignores it.
+A final remark is that `allContracts` testing in assertion mode ignores all assert failures from the contracts not under test. This is shown in `Flag.test_fail()` function: even though it explicitly asserts false, the Echidna test ignores it.

Original file line number	Diff line number	Diff line change
@@ -122,4 +122,4 @@ Testing with `allContracts` is a useful tool for complex systems that require th
`122`	`122`
`123`	`123`	A side-effect of using `allContracts` is that the search space grows with the number of functions that can be called. This, combined with high values of sequence lengths, can make the fuzzing test not so thorough, because the dimension of the search space is simply too big to reasonably explore. Finally, adding more functions as fuzzing candidates makes the campaigns to take up more execution time.
`124`	`124`
`125`		-A final remark is that `allContracts` testing in assertion mode ignores all assert failures from the contracts not under test. This is shown in `Flag.test_fail()` function: even though it explicitly asserts false, the Echidna test ignores it.
	`125`	+A final remark is that `allContracts` testing in assertion mode ignores all assert failures from the contracts not under test. This is shown in `Flag.test_fail()` function: even though it explicitly asserts false, the Echidna test ignores it.