solidity icon indicating copy to clipboard operation
solidity copied to clipboard
verified publisher icon ethereum

SMTChecker support for EIP-6780: SELFDESTRUCT only in same transaction

Open r0qs opened this issue 1 year ago • 0 comments

The SMTChecker currently uses the default EVM version, which is Shanghai. However, with the recent addition of Cancun support, the semantic of selfdestruct has changed. Consequently, we may need to adjust the tests to reflect the new behavior.

For more information, please refer to EIP-6780 and PR https://github.com/ethereum/solidity/pull/14785.

r0qs avatar Jan 25 '24 05:01 r0qs