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