Module evm 

Re-exports

use alloy_sol_types::Panic; 🔒

use alloy_sol_types::PanicKind; 🔒

use alloy_sol_types::Revert; 🔒

use alloy_sol_types::SolError; 🔒

use alloy_sol_types::abi::AbiDecoderConfig; 🔒

use alloy_sol_types::abi::decode_with_config; 🔒

use alloy_sol_types::abi::token::PackedSeqToken; 🔒

use foundry_evm::core::decode::ASSERTION_FAILED_PREFIX; 🔒

use super::*; 🔒

Functions

byte_expr 🔒

Returns the byte extraction expression for a symbolic word.

byte_word 🔒

byte_word_dynamic 🔒

cheatcode_error_revert_condition 🔒

exp_expr_for_concrete_exponent 🔒

is_assertion_revert 🔒

is_revert_assertion_failure 🔒

shift_left 🔒

signextend 🔒

signextend_word 🔒

signextend_word_dynamic 🔒