asupersync-conformance 0.3.3

Conformance test suite for async runtime specifications
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

//! E2E guard for source-owned conformance reference registry rows.

use asupersync_conformance::ReferenceSurfaceRegistry;
use std::process::ExitCode;

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
enum OutputMode {
    Text,
    Json,
}

fn parse_output_mode() -> Result<OutputMode, String> {
    let mut mode = OutputMode::Text;
    for arg in std::env::args().skip(1) {
        match arg.as_str() {
            "--json" | "--output=json" => mode = OutputMode::Json,
            "--text" | "--output=text" => mode = OutputMode::Text,
            "--help" | "-h" => {
                println!(
                    "usage: conformance_reference_registry_guard [--text|--json|--output=text|--output=json]"
                );
                return Ok(mode);
            }
            other => return Err(format!("unknown argument: {other}")),
        }
    }
    Ok(mode)
}

fn main() -> ExitCode {
    let mode = match parse_output_mode() {
        Ok(mode) => mode,
        Err(error) => {
            eprintln!("conformance-reference-registry-guard-v1 error={error}");
            return ExitCode::from(2);
        }
    };
    let registry = match ReferenceSurfaceRegistry::source_contract() {
        Ok(registry) => registry,
        Err(error) => {
            eprintln!("conformance-reference-registry-guard-v1 error={error}");
            return ExitCode::from(2);
        }
    };
    let report = registry.guard_report();

    match mode {
        OutputMode::Json => match serde_json::to_string_pretty(&report) {
            Ok(json) => println!("{json}"),
            Err(error) => {
                eprintln!("conformance-reference-registry-guard-v1 error={error}");
                return ExitCode::from(2);
            }
        },
        OutputMode::Text => {
            println!(
                "{} verdict={} checked_surface_count={} failure_count={}",
                report.schema_version,
                report.verdict,
                report.checked_surface_count,
                report.failures.len()
            );
            for failure in &report.failures {
                println!(
                    "surface_id={} binary={} reason={}",
                    failure.surface_id, failure.binary, failure.reason
                );
            }
        }
    }

    if report.is_pass() {
        ExitCode::SUCCESS
    } else {
        ExitCode::from(1)
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn source_registry_guard_report_passes() {
        let registry = ReferenceSurfaceRegistry::source_contract().expect("source registry loads");
        let report = registry.guard_report();
        assert!(report.is_pass(), "guard failures: {:?}", report.failures);
        assert_eq!(
            report.schema_version,
            "conformance-reference-registry-guard-v1"
        );
    }
}