inductive EvmYul.EVM.ExecutionException : Type

• OutOfFuel : ExecutionException
• InvalidInstruction : ExecutionException
• OutOfGass : ExecutionException
• BadJumpDestination : ExecutionException
• StackOverflow : ExecutionException
• StackUnderflow : ExecutionException
• InvalidMemoryAccess : ExecutionException
• StaticModeViolation : ExecutionException

instance EvmYul.EVM.instBEqExecutionException : BEq ExecutionException

Equations

• EvmYul.EVM.instBEqExecutionException = { beq := EvmYul.EVM.beqExecutionException✝ }

instance EvmYul.EVM.instReprExecutionException : Repr ExecutionException

Equations

• One or more equations did not get rendered due to their size.

inductive EvmYul.EVM.BlockException : Type

• INCORRECT_EXCESS_BLOB_GAS : BlockException
• INCORRECT_BLOB_GAS_USED : BlockException
• INCORRECT_BLOCK_FORMAT : BlockException
• BLOB_GAS_USED_ABOVE_LIMIT : BlockException
• INVALID_WITHDRAWALS_ROOT : BlockException
• IMPORT_IMPOSSIBLE_UNCLES_OVER_PARIS : BlockException
• RLP_STRUCTURES_ENCODING : BlockException
• IMPORT_IMPOSSIBLE_DIFFICULTY_OVER_PARIS : BlockException
• RLP_INVALID_FIELD_OVERFLOW_64 : BlockException
• RLP_INVALID_ADDRESS : BlockException
• GASLIMIT_TOO_BIG : BlockException
• INVALID_GAS_USED : BlockException
• UNKNOWN_PARENT_ZERO : BlockException
• EXTRA_DATA_TOO_BIG : BlockException
• INVALID_BLOCK_NUMBER : BlockException
• INVALID_BLOCK_TIMESTAMP_OLDER_THAN_PARENT : BlockException
• INVALID_GASLIMIT : BlockException
• INVALID_BASEFEE_PER_GAS : BlockException
• UNKNOWN_PARENT : BlockException
• INVALID_STATE_ROOT : BlockException
• INVALID_LOG_BLOOM : BlockException
• INVALID_TRANSACTIONS_ROOT : BlockException
• INVALID_RECEIPTS_ROOT : BlockException

instance EvmYul.EVM.instReprBlockException : Repr BlockException

Equations

• One or more equations did not get rendered due to their size.

inductive EvmYul.EVM.TransactionException : Type

• IllFormedRLP : TransactionException
• INVALID_SIGNATURE_VRS : TransactionException
• NONCE_MISMATCH_TOO_LOW : TransactionException
• NONCE_MISMATCH_TOO_HIGH : TransactionException
• SENDER_NOT_EOA : TransactionException
• INSUFFICIENT_ACCOUNT_FUNDS : TransactionException
• PRIORITY_GREATER_THAN_MAX_FEE_PER_GAS : TransactionException
• TYPE_3_TX_ZERO_BLOBS : TransactionException
• INTRINSIC_GAS_TOO_LOW : TransactionException
• INSUFFICIENT_MAX_FEE_PER_BLOB_GAS : TransactionException
• INITCODE_SIZE_EXCEEDED : TransactionException
• NONCE_IS_MAX : TransactionException
• TYPE_3_TX_BLOB_COUNT_EXCEEDED : TransactionException
• GAS_ALLOWANCE_EXCEEDED : TransactionException
• TYPE_3_TX_MAX_BLOB_GAS_ALLOWANCE_EXCEEDED : TransactionException
• INSUFFICIENT_MAX_FEE_PER_GAS : TransactionException
• TYPE_3_TX_INVALID_BLOB_VERSIONED_HASH : TransactionException
• TYPE_3_TX_CONTRACT_CREATION : TransactionException
• GASLIMIT_PRICE_PRODUCT_OVERFLOW : TransactionException
• RLP_INVALID_VALUE : TransactionException

instance EvmYul.EVM.instReprTransactionException : Repr TransactionException

TYPE_NOT_SUPPORTED - No "Cancun" test needs this

Equations

• One or more equations did not get rendered due to their size.

inductive EvmYul.EVM.Exception : Type

• ExecutionException : EVM.ExecutionException → Exception
• NotEncodableRLP : Exception
• TransactionException : EVM.TransactionException → Exception
• SenderRecoverError : String → Exception
• BlockException : EVM.BlockException → Exception
• MissedExpectedException : List String → Exception

instance EvmYul.EVM.instReprException : Repr Exception

Equations

• One or more equations did not get rendered due to their size.