vyre-libs 0.7.2

vyre Category A library ecosystem - pure-IR compositions over foundation IR and primitive-owned kernels
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

//! Fuzz target inventory test suite.

const TARGETS: &str = include_str!("../../docs/optimization/FUZZ_TARGET_INVENTORY.toml");
const CORPORA: &str = include_str!("../../docs/optimization/FUZZ_CORPUS_MINIMIZATION.toml");

#[test]
fn fuzz_target_inventory_names_owner_entrypoint_oracle_and_resource_bounds() {
    for required in [
        "target_id",
        "owning_crate",
        "entrypoint",
        "input_domain",
        "oracle",
        "timeout_ms",
        "memory_limit_bytes",
        "crash_dedup_key",
        "privacy_class",
    ] {
        assert!(
            TARGETS.contains(required),
            "fuzz target inventory must include {required}"
        );
    }
}

#[test]
fn fuzz_corpus_minimization_records_seeds_mutators_and_differential_lanes() {
    for required in [
        "corpus_id",
        "seed_source",
        "seed_digest",
        "minimizer",
        "structured_mutator",
        "differential_lanes",
        "reduced_input_digest",
        "owner_lane",
        "wire_format",
        "source_dialect_envelope",
    ] {
        assert!(
            CORPORA.contains(required),
            "fuzz corpus minimization contract must include {required}"
        );
    }
}