Method fits_in_lin_mem

src/runtime.rs:92–98

(&self, buf: SboxPtr, cnt: u32)

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

    #[pure]
    #[with_ghost_var(trace: &Trace)]