tuturu-tech

Example call sequence and contract: ```json { "call": { "from": "0x0000000000000000000000000000000000010000", "to": "0xa647ff3c36cfab592509e13860ab8c4f28781a66", "nonce": 1, "value": "0x0", "gasLimit": 12500000, "gasPrice": "0x1", "gasFeeCap": "0x0", "gasTipCap": "0x0", "data": "0xe8f0d2db0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000005f65fc28be74620a5d4449a5b21393f93ac0e9089234a90b704852792227fa270ba3929fe4153840f9063d73e2c0518fd91b0dacd93edd00a47633da9ec576747da9b64ebafae9cbf6a2af2669c11669989c434713f73272573b326f98bb0ceb00", "dataAbiValues": { "methodSignature":...

Contract and corpus for reproducing the issue: [empty-string-reproduction.zip](https://github.com/user-attachments/files/15759677/empty-string-reproduction.zip)

Hey @nican0r, thanks for opening an issue! The parsing failure you're seeing is due to Medusa 0.1.3 deprecating one of the fields from the corpus call sequences, so the tool...

Good point, although I'm unsure how to resolve this since Echidna/Medusa sequences don't contain any info on if the call reverted or not. We could ignore reverts by wrapping the...

Hey @pcaversaccio , appreciate you opening an issue. I think `usedId` was just to facilitate checking that the same `tokenId` cannot be minted more than once, but it might not...

Hey @engn33r, good catch! I believe [test_ERC721_external_burnRevertOnTransfer](https://github.com/crytic/properties/blob/58fcb6fd856b1d9a9b970cb366ee841baafed6f2/contracts/ERC721/external/properties/ERC721ExternalBurnableProperties.sol#L30) and [test_ERC721_burnRevertOnTransferFromPreviousOwner](https://github.com/crytic/properties/blob/58fcb6fd856b1d9a9b970cb366ee841baafed6f2/contracts/ERC721/internal/properties/ERC721BurnableProperties.sol#L30) are essentially testing for the same thing so this is probably just an issue of inconsistent naming, but [test_ERC721_burnRevertOnTransferFromZeroAddress](https://github.com/crytic/properties/blob/58fcb6fd856b1d9a9b970cb366ee841baafed6f2/contracts/ERC721/internal/properties/ERC721BurnableProperties.sol#L41C14-L41C61) is definitely...

Hey @PaulRBerg, we've created a draft set of properties testing mathematical invariants of your PRBMath v3 library and wanted to get your input on a couple of failing properties. Both...

Thank you for the quick reply! We opted for targeting v3 since Slither does not (yet) work with user defined operators used in v4. That said, I've just added v4...

Additional properties that aren't a part of this PR but could be added: - tokens that have been burned cannot be minted again - `setApprovalForAll` works as expected - separate...

We could use something like https://github.com/dorny/paths-filter or https://github.com/MarceloPrado/has-changed-path to conditionally execute the action steps. E.g. if only Echidna exercise 4 is updated then there's no need to run all exercise...