Diganta Kalita

I changed the [drizze-box example ](https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/end-to-end-testing.md)a little bit to reproduce this issue. https://github.com/dxganta/drizzle-box This one is with a normal transparent proxy. https://github.com/dxganta/drizzle-box/tree/uups And this one is with the uups proxy...

@elopez Ahh I am sorry. That was a mistake on my part. But that was not the issue actually on my real repo. The real issue was these three methods...

Yes I commented them out and the issue disappears. But any idea why the function calls caused the error?

ahh I am sorry. missed a line in the comments there. Here's the corrected one, uncommenting which still causes the issue. https://github.com/lindy-labs/sc_solidity-contracts/blob/echidna_tests/test/echidna_init.spec.ts#L86-L92

> yep, I managed to recreate with the project above, the error is `ErrorNotEnoughBalance` thrown by the `ERC20Bridged` contract https://basescan.org/address/0x69ce2505CE515C0203160450157366F927243309 which is not an artifact created during test so the...

> I took the code for failing contract and run `forge inspect errors` on it, see https://book.getfoundry.sh/reference/cli/forge/inspect?#forge-inspect You can also use `forge selectors list` https://book.getfoundry.sh/reference/cli/forge/selectors/list > > (to get the...