vyre-spec 0.4.1

Frozen data contracts for vyre — OpDef, AlgebraicLaw, Category, IntrinsicTable
Documentation 
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68

//! Surface tests for `TestDescriptor` struct construction and field access.

use vyre_spec::{InvariantId, TestDescriptor};

#[test]
fn test_descriptor_new_roundtrips_fields() {
    let td = TestDescriptor {
        name: "my_test",
        purpose: "check something",
        invariant: InvariantId::I4,
    };
    assert_eq!(td.name, "my_test");
    assert_eq!(td.purpose, "check something");
    assert_eq!(td.invariant.ordinal(), 4);
}

#[test]
fn test_descriptor_unicode_reason() {
    let td = TestDescriptor {
        name: "unicode_テスト",
        purpose: "Unicode reason: 🚀",
        invariant: InvariantId::I7,
    };
    assert_eq!(td.name, "unicode_テスト");
    assert_eq!(td.purpose, "Unicode reason: 🚀");
    assert_eq!(td.invariant.ordinal(), 7);
}

#[test]
fn test_descriptor_name_is_static_str() {
    let td = TestDescriptor {
        name: "static_name",
        purpose: "p",
        invariant: InvariantId::I1,
    };
    assert_eq!(td.name, "static_name");
}

#[test]
fn test_descriptor_invariant_i1_is_valid() {
    let td = TestDescriptor {
        name: "i1_invariant",
        purpose: "p",
        invariant: InvariantId::I1,
    };
    assert_eq!(td.invariant.ordinal(), 1);
}

#[test]
fn test_descriptor_purpose_is_empty_allowed() {
    let td = TestDescriptor {
        name: "empty_purpose",
        purpose: "",
        invariant: InvariantId::I11,
    };
    assert_eq!(td.purpose, "");
    assert_eq!(td.invariant.ordinal(), 11);
}

#[test]
fn test_descriptor_invariant_display() {
    let td = TestDescriptor {
        name: "display",
        purpose: "p",
        invariant: InvariantId::I5,
    };
    assert_eq!(format!("{}", td.invariant), "I5");
}