Skip to main content

complete_cheatcode_call

Function complete_cheatcode_call 

Source
pub(crate) fn complete_cheatcode_call(
    cx: &mut SymCx,
    state: &mut PathState,
    out_offset: SymExpr,
    out_size: &BoundedCopySize,
    return_data: SymReturnData,
) -> Result<(), SymbolicError>