Method read_u32_pair

src/runtime.rs:302–309

(&self, start: usize)

    #[ensures(ctx_safe(self))]
    #[ensures(trace_safe(trace, self))]
    pub fn read_u32_pair(&self, start: usize) -> RuntimeResult<(u32, u32)> {
        if !self.fits_in_lin_mem_usize(start, 8) {
            return Err(Eoverflow);
        }
        let x1 = self.read_u32(start);
        let x2 = self.read_u32(start + 4);
        Ok((x1, x2))
    }

    /// write u16 to wasm linear memory
    // Not thrilled about this implementation, but it works