Diganta Kalita

@ggrieco-tob it did not revert I am sure of that. If the address is present in the init.json file then that means the contract was deployed successfully right?

Is there any way/hack to check this? If the execution failed inside Echidna?

Yes sir. Here is the link to the full repo https://github.com/lindy-labs/sc_solidity-contracts/tree/echidna_tests I am running `yarn hardhat test test/echidna_init.spec.ts --network etheno` to deploy the contracts on etheno. and then run `echidna-test...

Can you show me which part if you dont mind please?

Yes but if you check time is not being used in the test/echidna_init.spec.ts file that I am using for deployment and neither in the deployment of the Vault.sol file where...

nope. dropped that plan.

I am pretty sure the problem is with the init.json file generated by etheno. Which version of etheno are we supposed to use with echidna v2.0.2?

It is not the version. I tried running the drizzle-box example and that ran fine. I also tried to run the test without that contract, but then it gave the...

@ggrieco-tob The problem was with the proxy contract. When I commented out that line the tests ran fine without any issue. This is an UUPS proxy and I am using...

What do you think I should do to fix this? Use a non-proxy version of the contract for testing or is there some trick inside echidna ?