Skip to content

Commit

Permalink
Merge pull request #478 from aviggiano/patch-1
Browse files Browse the repository at this point in the history
Fix typo in `deal` cheatcode docs
  • Loading branch information
msooseth authored Mar 26, 2024
2 parents 05b3812 + 1204ea4 commit 24388f0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/src/controlling-the-unit-testing-environment.md
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ These can be accessed by calling into a contract (typically called `Vm`) at addr
- `function assume(bool b) public`
Add the condition `b` to the assumption base for the current branch. This functions almost identically to `require`.

- `function deal(uint usr, uint amt) public`
- `function deal(address usr, uint amt) public`
Sets the eth balance of `usr` to `amt`. Note that if `usr` is a symbolic address, then it must be the address of a contract that has already been deployed.
This restriction is in place to ensure soundness of our symbolic address encoding with respect to potential aliasing of symbolic addresses.

Expand Down

0 comments on commit 24388f0

Please sign in to comment.