📋 Unit and Fuzzing Tests

[pcaversaccio]

Functions

public Functions

CREATE

• [x] function deployCreate(bytes) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/14)
• [x] function deployCreateAndInit(bytes,bytes,tuple(uint256,uint256)) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/14)
• [x] function deployCreateAndInit(bytes,bytes,tuple(uint256,uint256),address) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/14)
• [x] function deployCreateClone(address,bytes) payable returns (address) (address)` (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/14)
• [x] function computeCreateAddress(uint256) view returns (address) (address)` (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/14)
• [x] function computeCreateAddress(address,uint256) view returns (address) (address)` (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/14)

CREATE2

• [x] function deployCreate2(bytes32,bytes) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/17)
• [x] function deployCreate2(bytes) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/17)
• [x] function deployCreate2AndInit(bytes32,bytes,bytes,tuple(uint256,uint256),address) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/17)
• [x] function deployCreate2AndInit(bytes,bytes,tuple(uint256,uint256)) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/17)
• [x] function deployCreate2AndInit(bytes,bytes,tuple(uint256,uint256),address) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/17)
• [x] function deployCreate2AndInit(bytes32,bytes,bytes,tuple(uint256,uint256)) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/17)
• [x] function deployCreate2Clone(bytes32,address,bytes) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/17)
• [x] function deployCreate2Clone(address,bytes) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/17)
• [x] function computeCreate2Address(bytes32,bytes32) view returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/17)
• [x] function computeCreate2Address(bytes32,bytes32,address) pure returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/17)

CREATE3

• [x] function computeCreate3Address(bytes32,address) pure returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/18)
• [x] function computeCreate3Address(bytes32) view returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/18)
• [x] function deployCreate3(bytes) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/18)
• [x] function deployCreate3(bytes32,bytes) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/18)
• [x] function deployCreate3AndInit(bytes32,bytes,bytes,tuple(uint256,uint256)) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/18)
• [x] function deployCreate3AndInit(bytes,bytes,tuple(uint256,uint256)) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/18)
• [x] function deployCreate3AndInit(bytes32,bytes,bytes,tuple(uint256,uint256),address) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/18)
• [x] function deployCreate3AndInit(bytes,bytes,tuple(uint256,uint256),address) payable returns (address) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/18)

internal Functions

• [x] function _guard(bytes32) view returns (bytes32) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/13)
• [x] function _parseSalt(bytes32) view returns (SenderBytes,RedeployProtectionFlag) (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/11)
• [x] function _efficientHash(bytes32,bytes32) pure returns (bytes32) (assigned: @mds1, PR: https://github.com/pcaversaccio/createx/pull/9)
• [x] function _generateSalt() view returns (bytes32) (assigned: @mds1, PR: https://github.com/pcaversaccio/createx/pull/9)
• [x] function _requireSuccessfulContractCreation(address) view (assigned: @mds1, PR: https://github.com/pcaversaccio/createx/pull/9)
• [x] function _requireSuccessfulContractCreation(bool,address) view (assigned: @mds1, PR: https://github.com/pcaversaccio/createx/pull/9)
• [x] function _requireSuccessfulContractInitialisation(bool,bytes,address) view (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/11)

Each function is considered tested if all unit and fuzz tests have been added.

• [x] I would like to propose one statefulFuzz (a.k.a. invariant) test (assigned: @pcaversaccio, PR: https://github.com/pcaversaccio/createx/pull/17):

function statefulFuzz_NoEtherBalance() public {
    assertEq(createXAddr.balance, 0);
}