Method fits_in_lin_mem_usize

src/runtime.rs:110–116

(&self, buf: usize, cnt: usize)

        // buf + cnt < self.memlen
    )]
    pub fn fits_in_lin_mem_usize(&self, buf: usize, cnt: usize) -> bool {
        let total_size = buf + cnt;
        if total_size >= self.memlen || total_size >= LINEAR_MEM_SIZE {
            return false;
        }
        self.in_lin_mem_usize(buf) && self.in_lin_mem_usize(cnt) && buf <= buf + cnt
    }

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