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

extern crate alloc;

use alloc::vec::Vec;

use proptest::prelude::*;

mod difference;
mod lattice;
mod order;
mod restriction;

/// Sub-rosters over (and slightly past) the generation domain, duplicates
/// included, so restriction meets covered, uncovered, and repeated stations.
fn arb_roster() -> impl Strategy<Value = Vec<u32>> {
    prop::collection::vec(0u32..8, 0..8)
}