{"header":{"message":"Add property tests for all diff algorithms.","description":null,"timestamp":"2021-09-14T23:59:04.754610035Z","authors":[{}]},"hash":"Q3UCF2GCRN3OSCD7GK7J6DKI6EI647VYELLMOPIFVWEUSFVXOWFQC","authors":[{"key":"FHRXP5Jnb2MWLDrPrnLnkN2ryWcGCo6CRr1dXR9FW2YA"}],"deps":{"hashes":[["Q3UCF2GCRN3OSCD7GK7J6DKI6EI647VYELLMOPIFVWEUSFVXOWFQC","Add property tests for all diff algorithms."],["AA",null],["IZUDXVF5R7IYD2D4LRII7Z6WFMY7ARFSNULPBOKQLPBGIFLPXHIQC","Add a simple testing executable"],["XNQ4AFHIXFKIQECZRFK3NUVN5SZYLH2B5SG2GEYLQNIMDR3KHLFQC","Init with the new Pijul"]],"deps":["IZUDXVF5R7IYD2D4LRII7Z6WFMY7ARFSNULPBOKQLPBGIFLPXHIQC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"prop_test.rs","metadata":0},"context":[{"change":4,"pos":6}],"contents":[{"Add":"use crate::Diff;"},{"Add":""},{"Add":"use proptest::prelude::*;"},{"Add":""},{"Add":"#[derive(Debug, Copy, Clone, PartialEq, Eq)]"},{"Add":"struct Replacement {"},{"Add":" old: usize,"},{"Add":" old_len: usize,"},{"Add":" new: usize,"},{"Add":" new_len: usize,"},{"Add":"}"},{"Add":""},{"Add":"#[derive(Debug)]"},{"Add":"struct AccumDiff(Vec);"},{"Add":""},{"Add":"impl Diff for AccumDiff {"},{"Add":" type Error = ();"},{"Add":""},{"Add":" fn delete(&mut self, old: usize, len: usize, new: usize) -> Result<(), ()> {"},{"Add":" Ok(self.0.push(Replacement {"},{"Add":" old,"},{"Add":" old_len: len,"},{"Add":" new,"},{"Add":" new_len: 0,"},{"Add":" }))"},{"Add":" }"},{"Add":""},{"Add":" fn insert(&mut self, old: usize, new: usize, new_len: usize) -> Result<(), ()> {"},{"Add":" Ok(self.0.push(Replacement {"},{"Add":" old,"},{"Add":" old_len: 0,"},{"Add":" new,"},{"Add":" new_len,"},{"Add":" }))"},{"Add":" }"},{"Add":""},{"Add":" fn replace("},{"Add":" &mut self,"},{"Add":" old: usize,"},{"Add":" old_len: usize,"},{"Add":" new: usize,"},{"Add":" new_len: usize,"},{"Add":" ) -> Result<(), ()> {"},{"Add":" Ok(self.0.push(Replacement {"},{"Add":" old,"},{"Add":" old_len,"},{"Add":" new,"},{"Add":" new_len,"},{"Add":" }))"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"impl AccumDiff {"},{"Add":" pub fn replay_rev(&self, d: &mut D) -> Result<(), D::Error> {"},{"Add":" for &Replacement {"},{"Add":" old,"},{"Add":" old_len,"},{"Add":" new,"},{"Add":" new_len,"},{"Add":" } in self.0.iter().rev()"},{"Add":" {"},{"Add":" d.replace(old, old_len, new, new_len)?;"},{"Add":" }"},{"Add":" Ok(())"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"#[derive(Debug)]"},{"Add":"struct ApplyDiff(Vec, Vec);"},{"Add":""},{"Add":"impl Diff for ApplyDiff {"},{"Add":" type Error = ();"},{"Add":" fn replace("},{"Add":" &mut self,"},{"Add":" old: usize,"},{"Add":" old_len: usize,"},{"Add":" new: usize,"},{"Add":" new_len: usize,"},{"Add":" ) -> Result<(), ()> {"},{"Add":" let mut v = self.0[..old].to_vec();"},{"Add":" v.extend_from_slice(&self.1[new..new + new_len]);"},{"Add":" v.extend_from_slice(&self.0[old + old_len..]);"},{"Add":" self.0 = v;"},{"Add":" Ok(())"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"prop_compose! {"},{"Add":" fn vec_and_range()(vec in prop::collection::vec(1u8..10, 2..100))"},{"Add":" (ix1 in 0..vec.len()-1, ix2 in 0..vec.len(), vec in Just(vec))"},{"Add":" -> (Vec, usize, usize) {"},{"Add":" (vec, ix1.min(ix2), ix1.max(ix2)+1)"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"proptest! {"},{"Add":" #[test]"},{"Add":" fn myers_proptest((v, i1, i2) in vec_and_range(), (w, j1, j2) in vec_and_range()) {"},{"Add":" let mut accum = AccumDiff(Vec::new());"},{"Add":" let mut apply = ApplyDiff(v.to_vec(), w.to_vec());"},{"Add":""},{"Add":" crate::myers::diff(&mut accum, &v, i1, i2, &w, j1, j2).unwrap();"},{"Add":" accum.replay_rev(&mut apply).unwrap();"},{"Add":""},{"Add":" assert_eq!(apply.0[i1..i1+j2-j1], apply.1[j1..j2]);"},{"Add":" }"},{"Add":""},{"Add":" #[test]"},{"Add":" fn optimized_proptest((v, i1, i2) in vec_and_range(), (w, j1, j2) in vec_and_range()) {"},{"Add":" let mut accum = AccumDiff(Vec::new());"},{"Add":" let mut apply = ApplyDiff(v.to_vec(), w.to_vec());"},{"Add":""},{"Add":" crate::optimized::diff(&mut accum, &v, i1, i2, &w, j1, j2).unwrap();"},{"Add":" accum.replay_rev(&mut apply).unwrap();"},{"Add":""},{"Add":" assert_eq!(apply.0[i1..i1+j2-j1], apply.1[j1..j2]);"},{"Add":" }"},{"Add":""},{"Add":" #[test]"},{"Add":" fn patience_proptest((v, i1, i2) in vec_and_range(), (w, j1, j2) in vec_and_range()) {"},{"Add":" let mut accum = AccumDiff(Vec::new());"},{"Add":" let mut apply = ApplyDiff(v.to_vec(), w.to_vec());"},{"Add":""},{"Add":" crate::patience::diff(&mut accum, &v, i1, i2, &w, j1, j2).unwrap();"},{"Add":" accum.replay_rev(&mut apply).unwrap();"},{"Add":""},{"Add":" assert_eq!(apply.0[i1..i1+j2-j1], apply.1[j1..j2]);"},{"Add":" }"},{"Add":""},{"Add":" #[test]"},{"Add":" fn replace_proptest((v, i1, i2) in vec_and_range(), (w, j1, j2) in vec_and_range()) {"},{"Add":" let accum = AccumDiff(Vec::new());"},{"Add":" let mut apply = ApplyDiff(v.to_vec(), w.to_vec());"},{"Add":" let mut replace = crate::replace::Replace::new(accum);"},{"Add":""},{"Add":" crate::myers::diff(&mut replace, &v, i1, i2, &w, j1, j2).unwrap();"},{"Add":" replace.as_ref().replay_rev(&mut apply).unwrap();"},{"Add":""},{"Add":" assert_eq!(apply.0[i1..i1+j2-j1], apply.1[j1..j2]);"},{"Add":" }"},{"Add":"}"}]}},{"Edit":{"inode":{"change":4,"pos":18119},"path":"\"src/lib.rs\"","line":25,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":18803}],"down_context":[{"change":4,"pos":18803}],"flag":"BLOCK","start":3778,"end":3806,"inode":{"change":4,"pos":18119}}},"contents":[{"Add":"#[cfg(test)]"},{"Add":"mod prop_test;"}]}},{"Edit":{"inode":{"change":4,"pos":18119},"path":"\"src/lib.rs\"","line":30,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":18827}],"down_context":[{"change":4,"pos":18827}],"flag":"BLOCK","start":3807,"end":3844,"inode":{"change":4,"pos":18119}}},"contents":[{"Add":"#[cfg(test)]"},{"Add":"extern crate proptest;"},{"Add":""}]}},{"Edit":{"inode":{"change":4,"pos":21141},"path":"\"Cargo.toml\"","line":14,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":2286}],"down_context":[],"flag":"BLOCK","start":3845,"end":3884,"inode":{"change":4,"pos":21141}}},"contents":[{"Add":""},{"Add":"[dev-dependencies]"},{"Add":"proptest = \"1.0.0\""}]}}],"owner":"pijul","repo":"diffs","token":"SpXRCYAC43saRhkI8PJWPZw4Cc3WNfAMz0FcxAaKoLU=","login":null}

…

Dependencies

Change contents