Module evm 

Functions

byte_expr 🔒

Returns the byte extraction expression for a symbolic word.

byte_word 🔒

byte_word_dynamic 🔒

exp_expr_for_concrete_exponent 🔒

is_assertion_revert 🔒

is_revert_assertion_failure 🔒

shift_left 🔒

signextend 🔒

signextend_word 🔒

signextend_word_dynamic 🔒