libverify-core 0.13.1

Platform-agnostic SDLC verification engine — evidence model, controls, assessment
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
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
97
98
99
100
101
102
103
104
105
106

use super::*;

// --- add_node deduplication mutations ---

#[test]
fn dedup_same_name_different_file_index_creates_two() {
    // Kills: dedup only by name (ignoring file_index)
    let mut uf = UnionFind::new();
    let a = uf.add_node(0, "handler", NodeKind::Function);
    let b = uf.add_node(1, "handler", NodeKind::Function);
    assert_ne!(a, b, "different file_index must create separate nodes");
    assert_eq!(uf.len(), 2);
}

#[test]
fn dedup_same_file_index_different_name_creates_two() {
    // Kills: dedup only by file_index (ignoring name)
    let mut uf = UnionFind::new();
    let a = uf.add_node(0, "foo", NodeKind::Function);
    let b = uf.add_node(0, "bar", NodeKind::Function);
    assert_ne!(a, b);
    assert_eq!(uf.len(), 2);
}

// --- merge rank logic mutations ---

#[test]
fn merge_lower_rank_under_higher_rank() {
    // Kills: swapping rank comparison (< → >)
    let mut uf = UnionFind::new();
    let a = uf.add_node(0, "a", NodeKind::File);
    let b = uf.add_node(1, "b", NodeKind::File);
    let c = uf.add_node(2, "c", NodeKind::File);

    uf.merge(a, b);
    let root_ab = uf.find(a);

    uf.merge(c, a);
    assert_eq!(uf.find(c), root_ab, "lower rank goes under higher rank");
}

#[test]
fn merge_equal_rank_increments() {
    // Kills: removing rank increment on equal merge
    let mut uf = UnionFind::new();
    let a = uf.add_node(0, "a", NodeKind::File);
    let b = uf.add_node(1, "b", NodeKind::File);

    let rank_before = uf.rank[a as usize];
    uf.merge(a, b);
    let root = uf.find(a);
    assert_eq!(
        uf.rank[root as usize],
        rank_before + 1,
        "equal rank merge should increment winner's rank"
    );
}

#[test]
fn merge_self_is_noop() {
    let mut uf = UnionFind::new();
    let a = uf.add_node(0, "a", NodeKind::File);
    uf.merge(a, a);
    assert_eq!(uf.component_count(), 1);
    assert_eq!(
        uf.rank[a as usize], 0,
        "self-merge should not increment rank"
    );
}

// --- component_count mutations ---

#[test]
fn component_count_after_multiple_merges() {
    let mut uf = UnionFind::new();
    for i in 0..5u16 {
        uf.add_node(i, &format!("f{i}"), NodeKind::File);
    }
    assert_eq!(uf.component_count(), 5);

    uf.merge(0, 1);
    assert_eq!(uf.component_count(), 4);

    uf.merge(2, 3);
    assert_eq!(uf.component_count(), 3);

    uf.merge(0, 2);
    assert_eq!(uf.component_count(), 2);

    uf.merge(0, 4);
    assert_eq!(uf.component_count(), 1);
}

// --- get_components excludes function nodes ---

#[test]
fn get_components_excludes_function_nodes() {
    let mut uf = UnionFind::new();
    let f = uf.add_node(0, "a.rs", NodeKind::File);
    let _fn = uf.add_node(0, "foo", NodeKind::Function);
    uf.merge(f, _fn);

    let comps = uf.get_components();
    let total: usize = comps.iter().map(|c| c.len()).sum();
    assert_eq!(total, 1, "function nodes should not appear in components");
}