Rappie
Rappie
### Describe the issue: In some rare situations shrinking can be really slow. I can work around this by setting `shrinkLimit` really high but it would be nice to have...
The title should be self explanatory and I know very little about what echidna does behind the scenes. Someone else please expand this if necessary :smile:
#### Use case I regularly have more than 1 `echidna` running on seperate projects. Currently I can't see which is which and I often have to close both to find...
**Feature** It would be nice to have echidna add values from state changes and/or emitted events to the corpus. **State changes** A simple example of state changes would be an...
The protocol code uses `0.5.16` and the tests use `0.8.10`. When I to run `yarn test` I get the following error: ```shell $ yarn test yarn run v1.22.19 $ ./script/test...
### Describe the desired feature At the moment you need to remove all `view` keywords to be able to log events.
### Describe the issue: Sequences that have long time delays are still used, even in cases where I've changed the settings to this: ```yaml maxTimeDelay: 1 maxBlockDelay: 1 ``` ###...
### Describe the desired feature During the development of a fuzzing campaign I am rarely interested in coverage. It takes an extra CTRL+C to close Echidna, and it is a...
### Describe the issue: `[2024-03-25 13:03:50.70] Running slither on ....` I believe this should be either "Running slither on X ...." (not sure what X would be), or just "Running...