echidna

echidna copied to clipboard

[Bug-Candidate]: error UnrecognizedOpcode 94

2

### Describe the issue: While trying to deploy an ERC1967Proxy echidna fails with error: `error UnrecognizedOpcode 94` ### Code example to reproduce the issue: ```solidity import { ERC1967Proxy } from...

eilgug

elopez

[Bug-Candidate]: Echidna unable to break property using fallback

1

### Describe the issue: Fallback function given certain parameters can break the property to test. ### Code example to reproduce the issue: ```solidity contract Example { mapping(address => uint) public...

YamenMerhi

chore: remove repetitive words

1

highcloudwind

Optimization mode: Shrink current best sequence when closing Echidna

3

Currently you have to finish the run (`testLimit`). I normally have this set to a huge number and always close Echidna manually.

rappie

[Bug]: `Prelude.init: empty list` while shrinking

2

### Describe the issue: I'm shrinking about 10 optimization functions with seqLen 250 and 16 workers. Once all the workers are stopped, 1 shrink iteration is performed and then after...

rappie

### Describe the desired feature Disabling slither speeds up the startup time considerably. It would be useful to have an option to disable slither during development of the fuzzing suite.

rappie

Fixes #1264

samalws-tob

This makes `--test-limit 0` run indefinitely, in line with medusa's behavior.

elopez