{"header":{"message":"Add property tests for all diff algorithms.","description":null,"timestamp":"2021-09-14T23:33:21.186386026Z","authors":[{}]},"hash":"QRCSI5CO7MDVIXSJBAGD3WHKPMMITJ2YZZCVRNNJKKIICDTUN7GAC","authors":[{"key":"FHRXP5Jnb2MWLDrPrnLnkN2ryWcGCo6CRr1dXR9FW2YA"}],"deps":{"hashes":[["QRCSI5CO7MDVIXSJBAGD3WHKPMMITJ2YZZCVRNNJKKIICDTUN7GAC","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":"enum Action {"},{"Add":" Equal {"},{"Add":" old: usize,"},{"Add":" new: usize,"},{"Add":" len: usize,"},{"Add":" },"},{"Add":" Delete {"},{"Add":" old: usize,"},{"Add":" len: usize,"},{"Add":" new: usize,"},{"Add":" },"},{"Add":" Insert {"},{"Add":" old: usize,"},{"Add":" new: usize,"},{"Add":" new_len: usize,"},{"Add":" },"},{"Add":" Replace {"},{"Add":" old: usize,"},{"Add":" old_len: usize,"},{"Add":" new: usize,"},{"Add":" new_len: usize,"},{"Add":" },"},{"Add":" Finish,"},{"Add":"}"},{"Add":""},{"Add":"#[derive(Debug)]"},{"Add":"struct AccumDiff(Vec);"},{"Add":""},{"Add":"impl Diff for AccumDiff {"},{"Add":" type Error = ();"},{"Add":" fn equal(&mut self, old: usize, new: usize, len: usize) -> Result<(), ()> {"},{"Add":" Ok(self.0.push(Action::Equal { old, new, len }))"},{"Add":" }"},{"Add":""},{"Add":" fn delete(&mut self, old: usize, len: usize, new: usize) -> Result<(), ()> {"},{"Add":" Ok(self.0.push(Action::Delete { old, len, new }))"},{"Add":" }"},{"Add":""},{"Add":" fn insert(&mut self, old: usize, new: usize, new_len: usize) -> Result<(), ()> {"},{"Add":" Ok(self.0.push(Action::Insert { old, new, new_len }))"},{"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(Action::Replace {"},{"Add":" old,"},{"Add":" old_len,"},{"Add":" new,"},{"Add":" new_len,"},{"Add":" }))"},{"Add":" }"},{"Add":""},{"Add":" fn finish(&mut self) -> Result<(), ()> {"},{"Add":" Ok(self.0.push(Action::Finish))"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"impl AccumDiff {"},{"Add":" pub fn replay_rev(&self, d: &mut D) -> Result<(), D::Error> {"},{"Add":" for action in self.0.iter().rev() {"},{"Add":" match *action {"},{"Add":" Action::Equal { old, new, len } => d.equal(old, new, len)?,"},{"Add":" Action::Delete { old, len, new } => d.delete(old, len, new)?,"},{"Add":" Action::Insert { old, new, new_len } => d.insert(old, new, new_len)?,"},{"Add":" Action::Replace {"},{"Add":" old,"},{"Add":" old_len,"},{"Add":" new,"},{"Add":" new_len,"},{"Add":" } => d.replace(old, old_len, new, new_len)?,"},{"Add":" Action::Finish => d.finish()?,"},{"Add":" };"},{"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 equal(&mut self, _old: usize, _new: usize, _len: usize) -> Result<(), ()> {"},{"Add":" Ok(())"},{"Add":" }"},{"Add":""},{"Add":" fn delete(&mut self, old: usize, len: usize, new: usize) -> Result<(), ()> {"},{"Add":" self.replace(old, len, new, 0)"},{"Add":" }"},{"Add":""},{"Add":" fn insert(&mut self, old: usize, new: usize, new_len: usize) -> Result<(), ()> {"},{"Add":" self.replace(old, 0, new, new_len)"},{"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":" dbg!(&self, old, old_len, new, new_len);"},{"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":" fn finish(&mut self) -> Result<(), ()> {"},{"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":5018,"end":5046,"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":5047,"end":5084,"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":5085,"end":5124,"inode":{"change":4,"pos":21141}}},"contents":[{"Add":""},{"Add":"[dev-dependencies]"},{"Add":"proptest = \"1.0.0\""}]}}],"owner":"pijul","repo":"diffs","token":"XFpqIGb3qWmpDbv0iPPuWuxxwBfl8wyK3404tB7d/44=","login":null}

…

Dependencies

Change contents