minerva 0.2.0

Causal ordering for distributed systems
1
2
3
4
5
6
7
8

mod examples;
mod properties;

/// A dot literal, for tests that spell an identity by hand. Panics on the
/// non-dot counter zero, which no test in this tree means to name.
fn d(station: u32, counter: u64) -> crate::metis::Dot {
    crate::metis::Dot::from_parts(station, counter).expect("a test literal names a real dot")
}