minerva 0.2.0

Causal ordering for distributed systems
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

use super::{Doc, arb_ops, expected, run};
use crate::metis::DotSet;
use proptest::prelude::*;

proptest! {
    /// Every fold order reaches the oracle survivors and absorbs each replica.
    #[test]
    fn prop_replicas_converge_to_the_oracle(ops in arb_ops()) {
        let (live, record) = run(&ops);
        let forward = live.iter().fold(Doc::new(), |acc, doc| acc.merge(doc));
        let backward = live.iter().rev().fold(Doc::new(), |acc, doc| acc.merge(doc));
        prop_assert_eq!(&forward, &backward);

        let survivors = expected(&record);
        prop_assert_eq!(forward.store(), &survivors);

        let mut seen = DotSet::new();
        for &minted in record.minted.keys() {
            let _ = seen.insert(minted);
        }
        prop_assert_eq!(forward.context(), &seen);

        for doc in &live {
            prop_assert_eq!(&forward.merge(doc), &forward);
        }
    }
}