Open GalloDaSballo opened 4 weeks ago
Tested with: Linux on Docker, release 0.1.3
Repro: https://getrecon.xyz/shares/5d8f321f-b111-48e6-a183-4a87079f7f1c
Code: https://github.com/GalloDaSballo/euler-v1-recon-demo/blob/repro-broken-shrinking/test/recon/TargetFunctions.sol
The only hunch I have is that the same bug happened on this repo and in the Euler Vault Kit Repo, which tends to use delegatecall for their logic
The same code, with assertions e.g. t(false) doesn't show any bug and instead resolves the shrinking phase successfully
t(false)
Tested with: Linux on Docker, release 0.1.3
Repro: https://getrecon.xyz/shares/5d8f321f-b111-48e6-a183-4a87079f7f1c
Code: https://github.com/GalloDaSballo/euler-v1-recon-demo/blob/repro-broken-shrinking/test/recon/TargetFunctions.sol
The only hunch I have is that the same bug happened on this repo and in the Euler Vault Kit Repo, which tends to use delegatecall for their logic
The same code, with assertions e.g.
t(false)doesn't show any bug and instead resolves the shrinking phase successfully