radicle-protocol 0.8.0

The Radicle Protocol
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

use qcheck_macros::quickcheck;

use crate::fetcher::QueuedFetch;

#[quickcheck]
fn reflexive(item: QueuedFetch) -> bool {
    item == item.clone()
}

#[quickcheck]
fn symmetric(a: QueuedFetch, b: QueuedFetch) -> bool {
    (a == b) == (b == a)
}

#[quickcheck]
fn transitive(a: QueuedFetch, b: QueuedFetch, c: QueuedFetch) -> bool {
    if a == b && b == c { a == c } else { true }
}