cairo_lang_sierra_to_casm::environment::frame_state

Function validate_final_frame_state

Source 
pub fn validate_final_frame_state(
    frame_state: &FrameState,
) -> Result<(), FrameStateError>
Expand description

Validates that the state at the end of a function is valid.