Rappie
Rappie
``` Creating 1 workers ... fuzz: elapsed: 0s, call: 0 (0/sec), seq/s: 0, resets/s: 0, cov: 48 fuzz: elapsed: 3s, call: 5199 (1732/sec), seq/s: 24, resets/s: 0, cov: 48 fuzz:...
Yes. I've made the repo public: https://github.com/rappie/canto-c4-fuzzing
Ah, you're right. Seems like I didn't know Foundry very well yet back then :sweat_smile: I've added the libraries now (all files, no submodules). Should work now. I've tested it,...
+1 Same here. I'd also like to know the time it took.
How about "minmax" mode
> Maybe it's for the next release ? Correct. You can download one of the latest builds here (scroll down) https://github.com/crytic/echidna/actions/runs/9522275975 Or manually build the latest `master` branch (what I...
The behaviour I expect is that the config leads, meaning sequences in the corpus which are illegal according to the current config should be skipped. I'm not a fan of...
> Let's suppose you do a campaign using sender: [A, B]. Later you decide to change using sender: [C, D]. Are you suggesting echidna should reinterpret the corpus using the...
No, there are no block/timestamp increments necessary at all to break this invariant. Besides block/timestamp shrinking being slow or getting stuck, there are also uneccesary transactions that don't get shrunk...