Module evm 

Functions

abi_word 🔒

abi_word_usize 🔒

byte_expr 🔒

Returns the byte extraction expression for a symbolic word.

byte_word 🔒

byte_word_dynamic 🔒

exp_expr_for_concrete_exponent 🔒

failed_slot 🔒

is_assert_panic 🔒

is_assertion_revert 🔒

is_revert_assertion_failure 🔒

shift_left 🔒

signextend 🔒

signextend_word 🔒

signextend_word_dynamic 🔒