SMTChecker support for EIP-6780: SELFDESTRUCT only in same transaction #14804
Labels
must have eventually
Something we consider essential but not enough to prevent us from releasing Solidity 1.0 without it.
smt
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 #14785.
The text was updated successfully, but these errors were encountered: