Method in_lin_mem_usize

src/runtime.rs:78–80

(&self, ptr: usize)

    #[pure]
    #[ensures((result == true) ==> ptr >= 0 && ptr < self.memlen)]
    pub fn in_lin_mem_usize(&self, ptr: usize) -> bool {
        ptr >= 0 && ptr < self.memlen
    }

    /// Check whether buffer is entirely within sandbox
    // Can I eliminate this in favor of fits_in_lin_mem_usize