Skip to content

chore: remove repetitive word in packages/hot-fuzz/README.md #2120

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hellwolf merged 1 commit into from
Nov 24, 2025
Merged

chore: remove repetitive word in packages/hot-fuzz/README.md #2120

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion packages/hot-fuzz/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -96,7 +96,7 @@ $ npx hot-fuzz contracts/YourAppHotFuzz.yaml
```

Once it is running, what is going on is that your list of actions in addition to a preset of actions defined in
`HotFuzzBase` are randomized as as many sequences of instructions as you configured for, are being executed.
`HotFuzzBase` are randomized as many sequences of instructions as you configured for, are being executed.

While executing these sequences of instructions, all echidna invariants are checked each time a transaction is made.
Any violation of these invariants is considered a bug somewhere in the app.
Expand Down
Loading