You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: program-analysis/echidna/common-testing-approaches.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -47,7 +47,7 @@ Since `ExternalTest` defines no additional methods, running Echidna directly on
47
47
In this case, there are several alternatives:
48
48
49
49
**Contract wrapper**: define specific operations to "wrap" the system to test. For every operation that we want Echidna to execute in the system to test,
50
-
we add one or more functions that performs external to it.
50
+
we add one or more functions that performs external call to it.
0 commit comments