Skip to main content
Share Your Experience: Take the 2024 Developer Survey
11 votes
Accepted

What's the difference between invariant and fuzz testing?

Summary Fuzz testing, also known as fuzzing, involves providing random data as inputs during testing. Invariant tests are tests that focus on verifying the conditions that must always hold in a system....
Patrick Collins's user avatar
2 votes
Accepted

Echidna: test contract balance

Yes, create a config file, e.g. echidna.yaml and add the following: #balanceContract overrides balanceAddr for the contract address balanceContract: 0 You might also want to play around with this, ...
phaze's user avatar
  • 1,595

Only top scored, non community-wiki answers of a minimum length are eligible