provenance-cli 0.2.3

Command-line interface for Provenance requirements traceability
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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

use super::support::{binding, Fixture, DUPLICATES};

/// Two identical sites, one deleted. The survivor pins to its exact baseline
/// line, so the loss is attributable and the missing instance is gone.
#[test]
fn duplicate_loss_surfaces_the_missing_instance_as_gone() {
    let fixture = Fixture::new(DUPLICATES);
    std::fs::write(
        &fixture.source,
        "mod second {\n#[verifies(\"rule_anchor\", examples)]\nfn duplicate() {}\n}\n",
    )
    .unwrap();

    let report = fixture.rescan();

    let unchanged = binding(&report, "duplicate", "unchanged");
    assert_eq!(unchanged["line"], 2);
    let gone = binding(&report, "duplicate", "gone");
    assert_eq!(gone["line"], 7);
    assert!(report["warnings"]
        .as_array()
        .unwrap()
        .iter()
        .any(|warning| warning["message"].as_str().unwrap().contains("gone")));
}

/// Two identical sites, one deleted and the survivor shifted off its baseline
/// line. No pairing is attributable, so the scan says the group shrank
/// instead of quietly absorbing the loss or guessing which instance died.
#[test]
fn unattributable_duplicate_loss_warns_that_the_group_shrank() {
    let fixture = Fixture::new(DUPLICATES);
    std::fs::write(
        &fixture.source,
        "\nmod second {\n#[verifies(\"rule_anchor\", examples)]\nfn duplicate() {}\n}\n",
    )
    .unwrap();

    let report = fixture.rescan();

    let duplicate_sites = report["bindings"]
        .as_array()
        .unwrap()
        .iter()
        .filter(|site| site["item_name"] == "duplicate")
        .collect::<Vec<_>>();
    assert_eq!(duplicate_sites.len(), 1);
    assert_eq!(duplicate_sites[0]["anchor_state"], "unchanged");
    assert!(report["warnings"]
        .as_array()
        .unwrap()
        .iter()
        .any(|warning| {
            let message = warning["message"].as_str().unwrap();
            message.contains("lost 1 instance") && message.contains("cannot pair")
        }));
    assert!(!report["warnings"]
        .as_array()
        .unwrap()
        .iter()
        .any(|warning| warning["message"].as_str().unwrap().contains("gone")));
}

/// Identical duplicates shuffled onto new lines with none lost stay quiet:
/// the sites are interchangeable and nothing worth reporting happened.
#[test]
fn duplicate_shuffle_without_loss_stays_silent() {
    let fixture = Fixture::new(DUPLICATES);
    std::fs::write(
        &fixture.source,
        "\nmod first {\n#[verifies(\"rule_anchor\", examples)]\nfn duplicate() {}\n}\n\n\
         mod second {\n#[verifies(\"rule_anchor\", examples)]\nfn duplicate() {}\n}\n",
    )
    .unwrap();

    let report = fixture.rescan();

    let duplicate_sites = report["bindings"]
        .as_array()
        .unwrap()
        .iter()
        .filter(|site| site["item_name"] == "duplicate")
        .collect::<Vec<_>>();
    assert_eq!(duplicate_sites.len(), 2);
    assert!(duplicate_sites
        .iter()
        .all(|site| site["anchor_state"] == "unchanged"));
    assert!(!report["warnings"]
        .as_array()
        .unwrap()
        .iter()
        .any(|warning| {
            let message = warning["message"].as_str().unwrap();
            message.contains("gone") || message.contains("cannot pair")
        }));
}