Method copy_arg_buffer_to_sandbox

src/runtime.rs:166–174

(&mut self, dst: SboxPtr, n: u32)

    #[ensures(ctx_safe(self))]
    #[ensures(trace_safe(trace, self))]
    pub fn copy_arg_buffer_to_sandbox(&mut self, dst: SboxPtr, n: u32) -> RuntimeResult<()> {
        if !self.fits_in_lin_mem(dst, n) {
            return Err(Efault);
        }
        // let arg_buffer = self.arg_buffer.clone();
        let arg_buffer = clone_vec_u8(&self.arg_buffer);
        self.memcpy_to_sandbox(dst, &arg_buffer, n);
        Ok(())
    }

    /// Copy arg buffer from from host to sandbox
    #[with_ghost_var(trace: &mut Trace)]