Method in_lin_mem

src/runtime.rs:71–73

(&self, ptr: SboxPtr)

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

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