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

use super::arb_cut;
use proptest::prelude::*;

proptest! {
    #[test]
    fn prop_to_have_set_round_trips(cut in arb_cut()) {
        let restored = cut.to_have_set().floor();
        prop_assert_eq!(&restored, cut.as_vector());
    }

    #[test]
    fn prop_into_vector_surrenders_the_witnessed_vector(cut in arb_cut()) {
        let borrowed = cut.as_vector().clone();
        prop_assert_eq!(cut.into_vector(), borrowed);
    }
}