Rappie
Rappie
I would like to have rudimentary support for tweaking the weights of different shrinking behaviours such as reducing variables vs. removing transactions. Having this would be very useful in scenarios...
AFAIK this is already fixed
I will do some testing with `vm.label` soon
Two things: 1. You've got it right that having a view that returns an int256 is basically all we need to do optimization 2. We do want to be able...
Looks like I'm experiencing the same bug: ```shell ❯ slither . --print echidna 'forge clean' running (wd: /home/rappie/Desktop/targets/pinto/protocol) 'forge config --json' running 'forge build --build-info --skip */test/** */script/** --force' running...
Can this be merged? It is currently preventing me from using slither for echidna: https://github.com/crytic/slither/issues/2721#issuecomment-3216977262
Commenting out all optimization functions except 1 fixes this. I'm guessing it might be some kind of timing issue, because with more optimization functions enabled Echidna as a whole is...