Open
Description
Describe the issue:
When attempting to deploy the ERC6551 Registry contract using the deployBytecodes
feature in Echidna, the deployment fails with an [out-of-gas error](echidna: Deploying the contract 0x000000006551c19487814612e58FE06813775758 failed (revert, out-of-gas, sending ether to an non-payable constructor, etc.)).
But, when using the [example in the Echidna repository](https://github.com/crytic/echidna/blob/1ef14f02219dd2585a9a5bc2d1339496d5becf95/tests/solidity/basic/deployBytecode.yaml#L2C21-L2C25), deployments work without issue.
Code example to reproduce the issue:
deployBytecodes:
[
[
"0x000000006551c19487814612e58FE06813775758",
"608060405234801561001057600080fd5b50600436106100365760003560e01c8063246a00211461003b5780638a54c52f1461006a575b600080fd5b61004e6100493660046101b7565b61007d565b6040516001600160a01b03909116815260200160405180910390f35b61004e6100783660046101b7565b6100e1565b600060806024608c376e5af43d82803e903d91602b57fd5bf3606c5285605d52733d60ad80600a3d3981f3363d3d373d3d3d363d7360495260ff60005360b76055206035523060601b60015284601552605560002060601b60601c60005260206000f35b600060806024608c376e5af43d82803e903d91602b57fd5bf3606c5285605d52733d60ad80600a3d3981f3363d3d373d3d3d363d7360495260ff60005360b76055206035523060601b600152846015526055600020803b61018b578560b760556000f580610157576320188a596000526004601cfd5b80606c52508284887f79f19b3655ee38b1ce526556b7731a20c8f218fbda4a3990b6cc4172fdf887226060606ca46020606cf35b8060601b60601c60005260206000f35b80356001600160a01b03811681146101b257600080fd5b919050565b600080600080600060a086880312156101cf57600080fd5b6101d88661019b565b945060208601359350604086013592506101f46060870161019b565b94979396509194608001359291505056fea2646970667358221220ea2fe53af507453c64dd7c1db05549fa47a298dfb825d6d11e1689856135f16764736f6c63430008110033",
],
]
Version:
Echidna 2.2.5
slither 0.10.3
Relevant log output:
echidna: Deploying the contract 0x000000006551c19487814612e58FE06813775758 failed (revert, out-of-gas, sending ether to an non-payable constructor, etc.)
Metadata
Metadata
Assignees
Labels
No labels