fusible 0.12.0

Electronic linter: a fuse that blows to block firmware code generation
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

//! `pin_mux` target resolution: unknown chips and database coverage.

use crate::linter::rules::PinMuxRule;
use crate::linter::{Diagnostic, LintContext, Rule};
use crate::netlist::Netlist;
use crate::parser::{Circuit, CircuitElement, Component, Port};

fn esp_circuit(pin: &str) -> Circuit {
    Circuit {
        elements: vec![
            CircuitElement::Component(Component {
                component_id: Some("U1".to_string()),
                kind: Some("chip".to_string()),
                name: Some("ESP32-S3".to_string()),
            }),
            CircuitElement::Port(Port {
                port_id: Some(format!("U1.{pin}")),
                source_component_id: Some("U1".to_string()),
                name: Some(pin.to_string()),
                ..Default::default()
            }),
        ],
        raw_elements: Vec::new(),
    }
}

fn violations(circuit: &Circuit, mcu: Option<&str>) -> Vec<Diagnostic> {
    let netlist = Netlist::from_circuit(circuit);
    let ctx = LintContext::new(circuit, &netlist).with_mcu(mcu);
    PinMuxRule.check(&ctx)
}

#[test]
fn explicit_unknown_mcu_blows_the_fuse() {
    let v = violations(&esp_circuit("GPIO4"), Some("stm32f103"));
    assert_eq!(v.len(), 1);
    assert_eq!(v[0].rule, "unknown_mcu");
    assert!(v[0].message.contains("stm32f103"));
}

#[test]
fn gpio_designator_missing_from_database_is_reported() {
    let v = violations(&esp_circuit("GPIO22"), Some("esp32-s3"));
    assert_eq!(v.len(), 1);
    assert!(v[0].message.contains("GPIO22"));
}

#[test]
fn non_gpio_package_pins_are_ignored() {
    assert!(violations(&esp_circuit("VDD3V3"), Some("esp32-s3")).is_empty());
}