bashrs 6.66.0

Rust-to-Shell transpiler for deterministic bootstrap scripts
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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128

#![allow(clippy::unwrap_used)]
#![allow(clippy::expect_used)]

use super::config::{Config, ShellDialect, VerificationLevel};
use crate::validation::ValidationLevel;

// ---------------------------------------------------------------------------
// 1. Config::default() — verify all default field values
// ---------------------------------------------------------------------------

#[test]
fn test_config_serde_roundtrip_all_verification_levels() {
    for level in &[
        VerificationLevel::None,
        VerificationLevel::Basic,
        VerificationLevel::Strict,
        VerificationLevel::Paranoid,
    ] {
        let original = Config {
            verify: *level,
            ..Config::default()
        };
        let json = serde_json::to_string(&original).unwrap();
        let restored: Config = serde_json::from_str(&json).unwrap();
        assert_eq!(restored.verify, *level);
    }
}

#[test]
fn test_config_serde_json_field_names() {
    let cfg = Config::default();
    let json = serde_json::to_string(&cfg).unwrap();
    let value: serde_json::Value = serde_json::from_str(&json).unwrap();
    let obj = value.as_object().unwrap();

    assert!(obj.contains_key("target"));
    assert!(obj.contains_key("verify"));
    assert!(obj.contains_key("emit_proof"));
    assert!(obj.contains_key("optimize"));
    assert!(obj.contains_key("validation_level"));
    assert!(obj.contains_key("strict_mode"));
    assert_eq!(obj.len(), 6);
}

#[test]
fn test_config_serde_pretty_roundtrip() {
    let original = Config {
        target: ShellDialect::Dash,
        verify: VerificationLevel::Basic,
        emit_proof: true,
        optimize: true,
        validation_level: Some(ValidationLevel::Minimal),
        strict_mode: false,
    };
    let pretty_json = serde_json::to_string_pretty(&original).unwrap();
    let restored: Config = serde_json::from_str(&pretty_json).unwrap();

    assert_eq!(restored.target, original.target);
    assert_eq!(restored.verify, original.verify);
    assert_eq!(restored.emit_proof, original.emit_proof);
    assert_eq!(restored.optimize, original.optimize);
    assert_eq!(restored.validation_level, original.validation_level);
    assert_eq!(restored.strict_mode, original.strict_mode);
}

#[test]
fn test_config_deserialize_from_known_json() {
    let json = r#"{
        "target": "Bash",
        "verify": "Paranoid",
        "emit_proof": true,
        "optimize": false,
        "validation_level": "Strict",
        "strict_mode": true
    }"#;
    let cfg: Config = serde_json::from_str(json).unwrap();

    assert_eq!(cfg.target, ShellDialect::Bash);
    assert_eq!(cfg.verify, VerificationLevel::Paranoid);
    assert!(cfg.emit_proof);
    assert!(!cfg.optimize);
    assert_eq!(cfg.validation_level, Some(ValidationLevel::Strict));
    assert!(cfg.strict_mode);
}

#[test]
fn test_config_deserialize_validation_level_null() {
    let json = r#"{
        "target": "Posix",
        "verify": "Strict",
        "emit_proof": false,
        "optimize": true,
        "validation_level": null,
        "strict_mode": false
    }"#;
    let cfg: Config = serde_json::from_str(json).unwrap();

    assert_eq!(cfg.validation_level, Option::None);
}

#[test]
fn test_config_debug_impl() {
    let cfg = Config::default();
    let debug_str = format!("{:?}", cfg);
    assert!(debug_str.contains("Config"));
    assert!(debug_str.contains("Posix"));
    assert!(debug_str.contains("Strict"));
}

#[test]
fn test_config_clone() {
    let original = Config {
        target: ShellDialect::Bash,
        verify: VerificationLevel::Paranoid,
        emit_proof: true,
        optimize: false,
        validation_level: Some(ValidationLevel::Paranoid),
        strict_mode: true,
    };
    let cloned = original.clone();

    assert_eq!(cloned.target, ShellDialect::Bash);
    assert_eq!(cloned.verify, VerificationLevel::Paranoid);
    assert!(cloned.emit_proof);
    assert!(!cloned.optimize);
    assert_eq!(cloned.validation_level, Some(ValidationLevel::Paranoid));
    assert!(cloned.strict_mode);
}