crdt-richtext 0.1.1

use crate::{test_utils::AnnotationType, InternalString};

use super::*;
use arbitrary::Arbitrary;

pub struct Actor {
    text: RichText,
}

#[derive(Arbitrary, Clone, Debug, Copy)]
pub enum Action {
    Insert {
        actor: u8,
        pos: u8,
        content: u16,
    },
    Delete {
        actor: u8,
        pos: u8,
        len: u8,
    },
    Annotate {
        actor: u8,
        pos: u8,
        len: u8,
        annotation: AnnotationType,
    },
    Sync(u8, u8),
}

pub fn preprocess_action(actors: &[Actor], action: &mut Action) {
    match action {
        Action::Insert {
            actor,
            pos,
            content: _,
        } => {
            *actor %= actors.len() as u8;
            *pos = (*pos as usize % (actors[*actor as usize].len() + 1)) as u8;
        }
        Action::Delete { actor, pos, len } => {
            *actor %= actors.len() as u8;
            *pos = (*pos as usize % (actors[*actor as usize].len() + 1)) as u8;
            *len = (*len).min(10);
            *len %= (actors[*actor as usize].len().max(*pos as usize + 1) - *pos as usize)
                .min(255)
                .max(1) as u8;
        }
        Action::Annotate {
            actor,
            pos,
            len,
            annotation: _,
        } => {
            *actor %= actors.len() as u8;
            *pos = (*pos as usize % (actors[*actor as usize].len() + 1)) as u8;
            *len = (*len).min(10);
            *len %= (actors[*actor as usize].len().max(*pos as usize + 1) - *pos as usize)
                .min(255)
                .max(1) as u8;
        }
        Action::Sync(a, b) => {
            *a %= actors.len() as u8;
            *b %= actors.len() as u8;
            if b == a {
                *b = (*a + 1) % actors.len() as u8;
            }
        }
    }
}

pub fn preprocess_action_utf16(actors: &[Actor], action: &mut Action) {
    match action {
        Action::Insert {
            actor,
            pos,
            content: _,
        } => {
            *actor %= actors.len() as u8;
            *pos = (*pos as usize % (actors[*actor as usize].len_utf16() + 1)) as u8;
        }
        Action::Delete { actor, pos, len } => {
            *actor %= actors.len() as u8;
            *pos = (*pos as usize % (actors[*actor as usize].len_utf16() + 1)) as u8;
            *len = (*len).min(10);
            *len %= (actors[*actor as usize].len_utf16().max(*pos as usize + 1) - *pos as usize)
                .min(255)
                .max(1) as u8;
        }
        Action::Annotate {
            actor,
            pos,
            len,
            annotation: _,
        } => {
            *actor %= actors.len() as u8;
            *pos = (*pos as usize % (actors[*actor as usize].len_utf16() + 1)) as u8;
            *len = (*len).min(10);
            *len %= (actors[*actor as usize].len_utf16().max(*pos as usize + 1) - *pos as usize)
                .min(255)
                .max(1) as u8;
        }
        Action::Sync(a, b) => {
            *a %= actors.len() as u8;
            *b %= actors.len() as u8;
            if b == a {
                *b = (*a + 1) % actors.len() as u8;
            }
        }
    }
}

pub fn apply_action(actors: &mut [Actor], action: Action) {
    match action {
        Action::Insert {
            actor,
            pos,
            content,
        } => {
            actors[actor as usize].insert(pos as usize, content.to_string().as_str());
            // actors[actor as usize].check();
        }
        Action::Delete { actor, pos, len } => {
            if len == 0 {
                return;
            }

            actors[actor as usize].delete(pos as usize, len as usize);
            // actors[actor as usize].check();
        }
        Action::Annotate {
            actor,
            pos,
            len,
            annotation,
        } => {
            if len == 0 {
                return;
            }

            actors[actor as usize].annotate(pos as usize..pos as usize + len as usize, annotation);
            // actors[actor as usize].check();
        }
        Action::Sync(a, b) => {
            let (a, b) = arref::array_mut_ref!(actors, [a as usize, b as usize]);
            a.merge(b);
            a.text.debug_log(true);
            // a.check();
        }
    }
}

pub fn apply_action_utf16(actors: &mut [Actor], action: Action) {
    match action {
        Action::Insert {
            actor,
            pos,
            content,
        } => {
            actors[actor as usize].insert_utf16(pos as usize, content.to_string().as_str());
            // actors[actor as usize].check();
        }
        Action::Delete { actor, pos, len } => {
            if len == 0 {
                return;
            }

            actors[actor as usize].delete_utf16(pos as usize, len as usize);
            // actors[actor as usize].check();
        }
        Action::Annotate {
            actor,
            pos,
            len,
            annotation,
        } => {
            if len == 0 {
                return;
            }

            actors[actor as usize]
                .annotate_utf16(pos as usize..pos as usize + len as usize, annotation);
            // actors[actor as usize].check();
        }
        Action::Sync(a, b) => {
            let (a, b) = arref::array_mut_ref!(actors, [a as usize, b as usize]);
            a.merge(b);
            // a.check();
        }
    }
}

pub fn fuzzing(actor_num: usize, actions: Vec<Action>) {
    let mut actors = vec![];
    for i in 0..actor_num {
        actors.push(Actor::new(i));
    }

    for mut action in actions {
        preprocess_action(&actors, &mut action);
        // println!("{:?},", &action);
        debug_log::group!("{:?},", &action);
        apply_action(&mut actors, action);
        debug_log::group_end!();
    }

    for i in 0..actors.len() {
        for j in (i + 1)..actors.len() {
            let (a, b) = arref::array_mut_ref!(&mut actors, [i, j]);
            debug_log::group!("merge {i}<-{j}");
            a.merge(b);
            debug_log::group_end!();
            debug_log::group!("merge {i}->{j}");
            b.merge(a);
            assert_eq!(a.text.get_spans(), b.text.get_spans());
            debug_log::group_end!();
        }
    }
}

pub fn fuzzing_utf16(actor_num: usize, actions: Vec<Action>) {
    let mut actors = vec![];
    for i in 0..actor_num {
        actors.push(Actor::new(i));
    }

    for mut action in actions {
        preprocess_action_utf16(&actors, &mut action);
        // println!("{:?},", &action);
        debug_log::group!("{:?},", &action);
        apply_action_utf16(&mut actors, action);
        debug_log::group_end!();
    }

    for i in 0..actors.len() {
        for j in (i + 1)..actors.len() {
            let (a, b) = arref::array_mut_ref!(&mut actors, [i, j]);
            debug_log::group!("merge {i}<-{j}");
            a.merge(b);
            debug_log::group_end!();
            debug_log::group!("merge {i}->{j}");
            b.merge(a);
            debug_log::group_end!();
            assert_eq!(a.text.to_string(), b.text.to_string());
        }
    }
}

pub fn fuzzing_match_str(actions: Vec<Action>) {
    let word_choices: [InternalString; 8] = [
        "a".into(),
        "b".into(),
        "c".into(),
        "d".into(),
        "一".into(),
        "二".into(),
        "三".into(),
        "四".into(),
    ];
    let mut actor = Actor::new(1);
    let mut s: Vec<InternalString> = vec![];
    for action in actions {
        if matches!(action, Action::Sync(_, _) | Action::Annotate { .. }) {
            continue;
        }

        match action {
            Action::Insert { pos, content, .. } => {
                let mut pos = pos as usize;
                if s.is_empty() {
                    pos = 0;
                } else {
                    pos %= s.len();
                }

                let content = &word_choices[content as usize % word_choices.len()];
                s.insert(pos, content.clone());
                debug_log::group!(
                    "INSERT pos={} content={} ans={}",
                    pos,
                    content,
                    s.iter().fold(String::new(), |mut left, cur| {
                        left.push_str(cur);
                        left
                    })
                );
                actor.insert_utf16(pos, content);
            }
            Action::Delete { pos, len, .. } => {
                let mut pos = pos as usize;
                if s.is_empty() {
                    pos = 0;
                } else {
                    pos %= s.len();
                }
                let len = (len as usize).min(s.len() - pos);
                s.drain(pos..pos + len);
                debug_log::group!(
                    "DELETE pos={} len={} ans={}",
                    pos,
                    len,
                    s.iter().fold(String::new(), |mut left, cur| {
                        left.push_str(cur);
                        left
                    })
                );
                actor.delete_utf16(pos, len);
            }
            _ => {}
        }

        debug_log::group_end!();
    }

    let mut ans = String::new();
    for span in s {
        ans.push_str(&span)
    }

    assert_eq!(&actor.text.to_string(), &ans)
}

impl Actor {
    pub fn new(id: usize) -> Self {
        Self {
            text: RichText::new(id as u64),
        }
    }

    pub fn insert(&mut self, pos: usize, content: &str) {
        self.text.insert(pos, content);
    }

    pub fn insert_utf16(&mut self, pos: usize, as_str: &str) {
        self.text.insert_utf16(pos, as_str)
    }

    /// this should happen after the op is integrated to the list crdt
    pub fn delete(&mut self, pos: usize, len: usize) {
        self.text.delete(pos..pos + len)
    }

    pub fn delete_utf16(&mut self, pos: usize, len: usize) {
        self.text.delete_utf16(pos..pos + len)
    }

    pub fn annotate(&mut self, range: impl RangeBounds<usize>, type_: AnnotationType) {
        self._annotate(range, type_, IndexType::Utf8)
    }

    pub fn annotate_utf16(&mut self, range: impl RangeBounds<usize>, type_: AnnotationType) {
        self._annotate(range, type_, IndexType::Utf16)
    }

    fn _annotate(
        &mut self,
        range: impl RangeBounds<usize>,
        type_: AnnotationType,
        index_type: IndexType,
    ) {
        match type_ {
            AnnotationType::Bold => self.text.annotate_inner(
                range,
                Style {
                    start_type: AnchorType::Before,
                    end_type: AnchorType::Before,
                    behavior: crate::Behavior::Merge,
                    type_: "bold".into(),
                },
                index_type,
            ),
            AnnotationType::Link => self.text.annotate_inner(
                range,
                Style {
                    start_type: AnchorType::Before,
                    end_type: AnchorType::After,
                    behavior: crate::Behavior::Merge,
                    type_: "link".into(),
                },
                index_type,
            ),
            AnnotationType::Comment => self.text.annotate_inner(
                range,
                Style {
                    start_type: AnchorType::Before,
                    end_type: AnchorType::After,
                    behavior: crate::Behavior::Inclusive,
                    type_: "comment".into(),
                },
                index_type,
            ),
            AnnotationType::UnBold => self.text.annotate_inner(
                range,
                Style {
                    start_type: AnchorType::Before,
                    end_type: AnchorType::Before,
                    behavior: crate::Behavior::Delete,
                    type_: "bold".into(),
                },
                index_type,
            ),
            AnnotationType::UnLink => self.text.annotate_inner(
                range,
                Style {
                    start_type: AnchorType::After,
                    end_type: AnchorType::Before,
                    behavior: crate::Behavior::Delete,
                    type_: "link".into(),
                },
                index_type,
            ),
        };
    }

    fn merge(&mut self, other: &Self) {
        self.text.merge(&other.text)
    }

    #[allow(unused)]
    fn check_eq(&mut self, other: &mut Self) {
        assert_eq!(self.len(), other.len());
        assert_eq!(self.text.to_string(), other.text.to_string());
    }

    #[allow(unused)]
    fn len(&self) -> usize {
        self.text.len()
    }

    #[allow(unused)]
    fn len_utf16(&self) -> usize {
        self.text.len_utf16()
    }

    fn check(&self) {
        self.text.check()
    }
}

#[cfg(test)]
mod test {
    use crate::legacy::test::minify_error;

    use super::*;
    use Action::*;
    use AnnotationType::*;

    #[test]
    fn fuzz_basic() {
        fuzzing(
            2,
            vec![
                Insert {
                    actor: 72,
                    pos: 72,
                    content: 24648,
                },
                Annotate {
                    actor: 254,
                    pos: 122,
                    len: 133,
                    annotation: Link,
                },
            ],
        )
    }

    #[test]
    fn fuzz_0() {
        fuzzing(
            2,
            vec![
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Insert {
                    actor: 0,
                    pos: 129,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 18432,
                },
                Insert {
                    actor: 72,
                    pos: 72,
                    content: 18504,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
            ],
        )
    }

    #[test]
    fn fuzz_1() {
        fuzzing(
            2,
            vec![
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 72,
                    pos: 72,
                    content: 18504,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
            ],
        );
    }

    #[test]
    fn fuzz_2() {
        fuzzing(
            2,
            vec![
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 18504,
                },
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 2,
                },
                Delete {
                    actor: 0,
                    pos: 2,
                    len: 2,
                },
            ],
        );
    }

    #[test]
    fn fuzz_3() {
        fuzzing(
            2,
            vec![
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 5395,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 47394,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
            ],
        );
    }

    #[test]
    fn fuzz_4() {
        fuzzing(
            2,
            vec![
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 32,
                },
                Insert {
                    actor: 32,
                    pos: 32,
                    content: 8224,
                },
                Insert {
                    actor: 32,
                    pos: 32,
                    content: 8224,
                },
                Insert {
                    actor: 32,
                    pos: 32,
                    content: 8224,
                },
                Insert {
                    actor: 32,
                    pos: 32,
                    content: 8224,
                },
                Insert {
                    actor: 32,
                    pos: 32,
                    content: 8224,
                },
                Insert {
                    actor: 32,
                    pos: 32,
                    content: 18464,
                },
                Insert {
                    actor: 0,
                    pos: 72,
                    content: 18504,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 255,
                    len: 255,
                },
            ],
        );
    }

    #[test]
    fn fuzz_5() {
        fuzzing(
            2,
            vec![
                Delete {
                    actor: 1,
                    pos: 0,
                    len: 0,
                },
                Insert {
                    actor: 1,
                    pos: 0,
                    content: 5397,
                },
                Insert {
                    actor: 1,
                    pos: 1,
                    content: 5397,
                },
                Insert {
                    actor: 1,
                    pos: 3,
                    content: 5397,
                },
                Insert {
                    actor: 1,
                    pos: 8,
                    content: 5397,
                },
                Insert {
                    actor: 1,
                    pos: 4,
                    content: 5397,
                },
                Insert {
                    actor: 1,
                    pos: 0,
                    content: 5397,
                },
                Insert {
                    actor: 1,
                    pos: 21,
                    content: 5397,
                },
                Insert {
                    actor: 1,
                    pos: 21,
                    content: 65301,
                },
                Sync(1, 0),
                Sync(1, 0),
                Sync(0, 1),
                Delete {
                    actor: 0,
                    pos: 4,
                    len: 10,
                },
                Delete {
                    actor: 0,
                    pos: 4,
                    len: 10,
                },
            ],
        );
    }

    #[test]
    fn fuzz_6() {
        fuzzing(
            2,
            vec![
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 18504,
                },
                Insert {
                    actor: 20,
                    pos: 20,
                    content: 5140,
                },
                Insert {
                    actor: 20,
                    pos: 20,
                    content: 5140,
                },
                Insert {
                    actor: 20,
                    pos: 20,
                    content: 5140,
                },
                Insert {
                    actor: 20,
                    pos: 20,
                    content: 5140,
                },
                Insert {
                    actor: 20,
                    pos: 255,
                    content: 65535,
                },
                Sync(255, 255),
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Sync(255, 255),
                Delete {
                    actor: 255,
                    pos: 255,
                    len: 255,
                },
            ],
        );
    }

    #[test]
    fn fuzz_7() {
        fuzzing(
            2,
            vec![
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 0,
                },
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 512,
                },
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 1,
                },
                Insert {
                    actor: 0,
                    pos: 1,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 1,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 7,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 3,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 22,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 22,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 22,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 22,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 22,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 22,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 22,
                    content: 5654,
                },
                Insert {
                    actor: 0,
                    pos: 22,
                    content: 5654,
                },
                Sync(1, 0),
                Sync(1, 0),
                Insert {
                    actor: 0,
                    pos: 31,
                    content: 65535,
                },
                Sync(1, 0),
                Sync(1, 0),
                Sync(1, 0),
                Sync(1, 0),
                Delete {
                    actor: 0,
                    pos: 11,
                    len: 10,
                },
                Delete {
                    actor: 0,
                    pos: 21,
                    len: 10,
                },
                Sync(1, 0),
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Sync(0, 1),
                Sync(1, 0),
                Sync(1, 0),
                Delete {
                    actor: 0,
                    pos: 30,
                    len: 10,
                },
                Delete {
                    actor: 0,
                    pos: 8,
                    len: 10,
                },
                Delete {
                    actor: 1,
                    pos: 3,
                    len: 10,
                },
                Sync(1, 0),
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 65535,
                },
            ],
        );
    }

    #[test]
    fn fuzz_8() {
        fuzzing(
            2,
            vec![
                Delete {
                    actor: 179,
                    pos: 72,
                    len: 21,
                },
                Delete {
                    actor: 29,
                    pos: 29,
                    len: 29,
                },
                Insert {
                    actor: 29,
                    pos: 29,
                    content: 7453,
                },
                Insert {
                    actor: 29,
                    pos: 29,
                    content: 7453,
                },
                Insert {
                    actor: 29,
                    pos: 29,
                    content: 7453,
                },
                Insert {
                    actor: 29,
                    pos: 29,
                    content: 7453,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 10786,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 92,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8994,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 9,
                    pos: 9,
                    content: 2313,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 7458,
                },
                Insert {
                    actor: 29,
                    pos: 29,
                    content: 7453,
                },
                Insert {
                    actor: 29,
                    pos: 29,
                    content: 7453,
                },
                Insert {
                    actor: 29,
                    pos: 29,
                    content: 7453,
                },
                Insert {
                    actor: 29,
                    pos: 29,
                    content: 7453,
                },
                Insert {
                    actor: 29,
                    pos: 156,
                    content: 40092,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8739,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 6,
                    pos: 6,
                    content: 1542,
                },
                Insert {
                    actor: 6,
                    pos: 6,
                    content: 1542,
                },
                Insert {
                    actor: 6,
                    pos: 6,
                    content: 1542,
                },
                Insert {
                    actor: 6,
                    pos: 6,
                    content: 1542,
                },
                Insert {
                    actor: 6,
                    pos: 6,
                    content: 1542,
                },
                Insert {
                    actor: 6,
                    pos: 6,
                    content: 1542,
                },
                Insert {
                    actor: 6,
                    pos: 6,
                    content: 1542,
                },
                Insert {
                    actor: 6,
                    pos: 6,
                    content: 1542,
                },
                Insert {
                    actor: 6,
                    pos: 6,
                    content: 1542,
                },
                Insert {
                    actor: 0,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 9,
                    pos: 9,
                    content: 2313,
                },
                Insert {
                    actor: 9,
                    pos: 9,
                    content: 2313,
                },
                Insert {
                    actor: 9,
                    pos: 9,
                    content: 2313,
                },
                Insert {
                    actor: 9,
                    pos: 9,
                    content: 2313,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 2304,
                },
                Insert {
                    actor: 9,
                    pos: 9,
                    content: 2313,
                },
                Insert {
                    actor: 9,
                    pos: 9,
                    content: 2313,
                },
                Insert {
                    actor: 9,
                    pos: 9,
                    content: 2313,
                },
                Insert {
                    actor: 9,
                    pos: 9,
                    content: 2313,
                },
                Insert {
                    actor: 9,
                    pos: 9,
                    content: 2313,
                },
                Insert {
                    actor: 9,
                    pos: 9,
                    content: 63228,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 42,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8739,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Sync(231, 231),
                Sync(231, 231),
                Sync(231, 231),
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 42,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 0,
                    content: 0,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 255,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 42,
                },
                Sync(255, 255),
                Insert {
                    actor: 5,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 16674,
                },
                Insert {
                    actor: 0,
                    pos: 4,
                    content: 512,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 40,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 34,
                    pos: 34,
                    len: 34,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 22873,
                },
                Delete {
                    actor: 89,
                    pos: 89,
                    len: 89,
                },
                Delete {
                    actor: 89,
                    pos: 89,
                    len: 89,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 22562,
                },
                Delete {
                    actor: 88,
                    pos: 88,
                    len: 88,
                },
                Delete {
                    actor: 88,
                    pos: 88,
                    len: 88,
                },
                Delete {
                    actor: 88,
                    pos: 88,
                    len: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 34,
                    content: 2338,
                },
                Insert {
                    actor: 9,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 34,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 29,
                    pos: 29,
                    content: 7453,
                },
                Insert {
                    actor: 29,
                    pos: 29,
                    content: 7453,
                },
                Insert {
                    actor: 29,
                    pos: 29,
                    content: 7453,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 2,
                    pos: 34,
                    content: 8738,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 4,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 1,
                    pos: 254,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 89,
                    pos: 89,
                    len: 89,
                },
                Delete {
                    actor: 89,
                    pos: 89,
                    len: 89,
                },
                Delete {
                    actor: 89,
                    pos: 89,
                    len: 89,
                },
                Delete {
                    actor: 89,
                    pos: 89,
                    len: 89,
                },
                Delete {
                    actor: 88,
                    pos: 88,
                    len: 88,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 86,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 34,
                    pos: 65,
                    content: 34,
                },
                Insert {
                    actor: 0,
                    pos: 2,
                    content: 18432,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 40,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 89,
                    len: 89,
                },
                Delete {
                    actor: 89,
                    pos: 89,
                    len: 89,
                },
            ],
        );
    }

    #[test]
    fn fuzz_9() {
        fuzzing(
            2,
            vec![
                Delete {
                    actor: 184,
                    pos: 183,
                    len: 183,
                },
                Insert {
                    actor: 2,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 0,
                    pos: 255,
                    content: 65535,
                },
                Sync(255, 255),
                Delete {
                    actor: 255,
                    pos: 255,
                    len: 255,
                },
            ],
        );
    }

    #[test]
    fn fuzz_10() {
        fuzzing(
            2,
            vec![
                Annotate {
                    actor: 72,
                    pos: 72,
                    len: 72,
                    annotation: Bold,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Sync(255, 255),
                Sync(255, 255),
                Sync(255, 26),
                Insert {
                    actor: 26,
                    pos: 26,
                    content: 6682,
                },
                Insert {
                    actor: 26,
                    pos: 128,
                    content: 18504,
                },
                Annotate {
                    actor: 183,
                    pos: 183,
                    len: 187,
                    annotation: Bold,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 255,
                    pos: 255,
                    len: 255,
                },
                Sync(255, 255),
                Sync(255, 255),
                Insert {
                    actor: 63,
                    pos: 0,
                    content: 0,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 0,
                    annotation: Link,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 255,
                    pos: 223,
                    len: 255,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 91,
                    len: 72,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 18504,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Annotate {
                    actor: 183,
                    pos: 183,
                    len: 187,
                    annotation: Bold,
                },
                Delete {
                    actor: 91,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 255,
                    len: 255,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 255,
                    pos: 255,
                    len: 255,
                },
                Sync(255, 255),
                Sync(255, 255),
                Insert {
                    actor: 63,
                    pos: 0,
                    content: 0,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 0,
                    annotation: Link,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 255,
                    pos: 223,
                    len: 255,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 91,
                    len: 72,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 18504,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Annotate {
                    actor: 183,
                    pos: 183,
                    len: 187,
                    annotation: Bold,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 255,
                    pos: 255,
                    len: 255,
                },
                Sync(255, 255),
                Sync(255, 255),
                Insert {
                    actor: 63,
                    pos: 0,
                    content: 0,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 0,
                    annotation: Link,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 255,
                    pos: 223,
                    len: 255,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 91,
                    len: 72,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 18504,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Annotate {
                    actor: 183,
                    pos: 183,
                    len: 187,
                    annotation: Bold,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 5,
                    pos: 72,
                    len: 161,
                },
                Delete {
                    actor: 104,
                    pos: 72,
                    len: 72,
                },
                Sync(5, 63),
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 32896,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Annotate {
                    actor: 72,
                    pos: 45,
                    len: 72,
                    annotation: Comment,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 1,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Annotate {
                    actor: 178,
                    pos: 178,
                    len: 178,
                    annotation: UnBold,
                },
                Annotate {
                    actor: 178,
                    pos: 178,
                    len: 178,
                    annotation: UnBold,
                },
                Annotate {
                    actor: 178,
                    pos: 178,
                    len: 178,
                    annotation: UnBold,
                },
                Annotate {
                    actor: 178,
                    pos: 255,
                    len: 255,
                    annotation: UnBold,
                },
                Annotate {
                    actor: 185,
                    pos: 72,
                    len: 72,
                    annotation: Bold,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 206,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 185,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Insert {
                    actor: 72,
                    pos: 72,
                    content: 18504,
                },
                Delete {
                    actor: 72,
                    pos: 185,
                    len: 72,
                },
                Sync(255, 255),
                Sync(255, 255),
                Sync(255, 255),
                Sync(128, 128),
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Delete {
                    actor: 45,
                    pos: 72,
                    len: 91,
                },
                Insert {
                    actor: 129,
                    pos: 0,
                    content: 0,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 191,
                    len: 72,
                },
                Annotate {
                    actor: 72,
                    pos: 72,
                    len: 72,
                    annotation: UnLink,
                },
                Sync(255, 255),
                Sync(255, 255),
                Sync(255, 255),
                Insert {
                    actor: 255,
                    pos: 255,
                    content: 65535,
                },
                Annotate {
                    actor: 183,
                    pos: 183,
                    len: 183,
                    annotation: Bold,
                },
                Annotate {
                    actor: 72,
                    pos: 72,
                    len: 72,
                    annotation: Bold,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 206,
                    pos: 1,
                    len: 0,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Annotate {
                    actor: 72,
                    pos: 72,
                    len: 184,
                    annotation: Bold,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 91,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Sync(255, 255),
                Sync(255, 255),
                Sync(255, 255),
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 255,
                    pos: 223,
                    len: 255,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 91,
                    len: 72,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 18504,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Annotate {
                    actor: 183,
                    pos: 183,
                    len: 187,
                    annotation: Bold,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 255,
                    pos: 255,
                    len: 255,
                },
                Sync(255, 255),
                Sync(255, 255),
                Insert {
                    actor: 63,
                    pos: 0,
                    content: 0,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 0,
                    annotation: Link,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 255,
                    pos: 223,
                    len: 255,
                },
                Annotate {
                    actor: 128,
                    pos: 128,
                    len: 128,
                    annotation: Comment,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Delete {
                    actor: 72,
                    pos: 91,
                    len: 72,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 18504,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Annotate {
                    actor: 183,
                    pos: 183,
                    len: 187,
                    annotation: Bold,
                },
                Delete {
                    actor: 72,
                    pos: 72,
                    len: 72,
                },
                Annotate {
                    actor: 178,
                    pos: 178,
                    len: 178,
                    annotation: UnBold,
                },
                Annotate {
                    actor: 178,
                    pos: 178,
                    len: 178,
                    annotation: UnBold,
                },
                Annotate {
                    actor: 178,
                    pos: 178,
                    len: 178,
                    annotation: UnBold,
                },
                Annotate {
                    actor: 178,
                    pos: 178,
                    len: 178,
                    annotation: UnLink,
                },
                Sync(255, 255),
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 3840,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 65280,
                },
            ],
        )
    }

    #[test]
    fn fuzz_11() {
        fuzzing(
            2,
            vec![
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 22222,
                },
                Sync(1, 0),
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 33333,
                },
                Insert {
                    actor: 1,
                    pos: 0,
                    content: 44444,
                },
                Delete {
                    actor: 1,
                    pos: 4,
                    len: 1,
                },
            ],
        )
    }

    #[test]
    fn fuzz_12() {
        fuzzing(
            3,
            vec![
                Insert {
                    actor: 2,
                    pos: 0,
                    content: 2,
                },
                Sync(0, 2),
                Insert {
                    actor: 1,
                    pos: 0,
                    content: 1,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
            ],
        )
    }

    #[test]
    fn fuzz_13() {
        fuzzing(
            5,
            vec![
                Insert {
                    actor: 4,
                    pos: 0,
                    content: 44,
                },
                Sync(2, 4),
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 0,
                },
                Sync(0, 4),
                Insert {
                    actor: 2,
                    pos: 2,
                    content: 2,
                },
                Insert {
                    actor: 0,
                    pos: 3,
                    content: 1,
                },
                Sync(4, 0),
                Insert {
                    actor: 4,
                    pos: 3,
                    content: 55,
                },
            ],
        )
    }

    #[test]
    fn fuzz_14() {
        fuzzing(
            5,
            vec![
                Insert {
                    actor: 4,
                    pos: 0,
                    content: 0,
                },
                Insert {
                    actor: 1,
                    pos: 0,
                    content: 256,
                },
                Sync(0, 1),
                Sync(0, 4),
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 1,
                },
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 1,
                },
                Insert {
                    actor: 1,
                    pos: 1,
                    content: 0,
                },
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 1,
                },
                Sync(0, 1),
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 1,
                },
            ],
        )
    }

    #[test]
    fn fuzz_15() {
        fuzzing(
            5,
            vec![
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 38,
                },
                Sync(1, 0),
                Insert {
                    actor: 1,
                    pos: 0,
                    content: 256,
                },
                Sync(0, 1),
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 1,
                },
                Sync(1, 0),
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 1,
                },
                Insert {
                    actor: 1,
                    pos: 1,
                    content: 0,
                },
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 1,
                },
                Sync(0, 1),
                Delete {
                    actor: 0,
                    pos: 0,
                    len: 1,
                },
            ],
        );
    }

    #[test]
    fn fuzz_16() {
        fuzzing_match_str(vec![
            Insert {
                actor: 2,
                pos: 252,
                content: 54247,
            },
            Insert {
                actor: 252,
                pos: 231,
                content: 54042,
            },
            Insert {
                actor: 67,
                pos: 63,
                content: 17219,
            },
            Insert {
                actor: 0,
                pos: 0,
                content: 17219,
            },
            Annotate {
                actor: 79,
                pos: 79,
                len: 79,
                annotation: Link,
            },
            Delete {
                actor: 79,
                pos: 79,
                len: 79,
            },
            Delete {
                actor: 133,
                pos: 79,
                len: 79,
            },
        ])
    }

    #[test]
    fn fuzz_17() {
        fuzzing(
            2,
            vec![
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 22222,
                },
                Sync(1, 0),
                Insert {
                    actor: 0,
                    pos: 3,
                    content: 33333,
                },
                Insert {
                    actor: 1,
                    pos: 3,
                    content: 111,
                },
                Sync(0, 1),
                Annotate {
                    actor: 0,
                    pos: 1,
                    len: 10,
                    annotation: Link,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 44444,
                },
                Insert {
                    actor: 0,
                    pos: 0,
                    content: 55555,
                },
                Sync(1, 0),
                Sync(0, 1),
                Insert {
                    actor: 1,
                    pos: 21,
                    content: 6666,
                },
            ],
        )
    }

    #[test]
    fn minimize() {
        let actions = vec![];
        minify_error(
            5,
            actions,
            |n, actions| fuzzing(n as usize, actions.to_vec()),
            |_, x| x.to_vec(),
        );
    }
}