Skip to content

Commit

Permalink
Update docs/cvl/foundry-integration.md
Browse files Browse the repository at this point in the history
Co-authored-by: urikirsh <[email protected]>
  • Loading branch information
johspaeth and urikirsh authored Nov 20, 2024
1 parent 219f9cc commit fa9c6e6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/cvl/foundry-integration.md
Original file line number Diff line number Diff line change
Expand Up @@ -61,7 +61,7 @@ override function init_fuzz_tests(method f, env e) {
// your initial state assumptions here
}
```
Depending on your fuzz test, it may be required to use the `reset_storage` command in the `init_fuzz_tests` function. This will explicitly set all
Depending on your fuzz test, you may need to use the `reset_storage` command in the `init_fuzz_tests` function. This will explicitly set all
storage fields of a contract to `0` before running the test. Alternatively, one could try to add a call to the `setUp()` function in the
`init_fuzz_tests` function - please note that the `init_fuzz_tests` is an empty method by default.

Expand Down

0 comments on commit fa9c6e6

Please sign in to comment.