frame-capability 0.1.0

Enforcer-agnostic capability contract for Frame
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

//! Structural acceptance for the enforcer-agnostic dependency fence.

use std::error::Error;
use std::process::Command;

#[test]
fn capability_contract_dependency_graph_has_no_beamr() -> Result<(), Box<dyn Error>> {
    let output = Command::new(env!("CARGO"))
        .args([
            "tree",
            "--package",
            "frame-capability",
            "--edges",
            "normal",
            "--prefix",
            "none",
        ])
        .output()?;
    if !output.status.success() {
        return Err(format!(
            "cargo tree failed: {}",
            String::from_utf8_lossy(&output.stderr)
        )
        .into());
    }
    let graph = String::from_utf8(output.stdout)?;
    assert!(
        !graph.lines().any(|line| line.starts_with("beamr ")),
        "frame-capability dependency graph crossed the beamr fence:\n{graph}"
    );
    Ok(())
}