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/advanced/on-using-cheat-codes.md
+2-2Lines changed: 2 additions & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -5,7 +5,7 @@
5
5
-[How and when to use cheat codes](#how-and-when-to-use-cheat-codes)
6
6
-[Introduction](#introduction)
7
7
-[Cheat codes available in Echidna](#cheat-codes-available-in-echidna)
8
-
-[Advice on the use of cheat codes](#advice-on-the-use-of-cheat-codes)
8
+
-[Risks of cheat codes](#risks-of-cheat-codes)
9
9
10
10
## Introduction
11
11
@@ -14,7 +14,7 @@ Cheat codes are special functions that allow to change the state of the EVM in w
14
14
15
15
## Cheat codes available in Echidna
16
16
17
-
Echidna supports all cheat codes that are available in [hevm](https://github.com/ethereum/hevm). These are documented here: https://hevm.dev/controlling-the-unit-testing-environment.html#cheat-codes.
17
+
Echidna supports all cheat codes that are available in [hevm](https://github.com/ethereum/hevm). These are documented here: [https://hevm.dev/controlling-the-unit-testing-environment.html#cheat-codes](https://hevm.dev/ds-test-tutorial.html#supported-cheat-codes).
18
18
If a new cheat code is added in the future, Echidna only needs to update the hevm version and everything should work out of the box.
19
19
20
20
As an example, the `prank` cheat code is able to set the `msg.sender` address in the context of the next external call:
0 commit comments