safety-lib 0.1.0

A lib for using safety tags defined in tag-std
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

use expect_test::expect_file;
use std::{path::Path, process::Command};

fn snapshot(test: &str) {
    let err = |e: &dyn std::fmt::Display| panic!("Failed to run `cargo expand --test {test}:\n{e}");
    let stdout =
        Command::new("cargo").args(["expand", "--test", test]).output().unwrap_or_else(|e| err(&e));
    if !stdout.status.success() {
        let e = std::str::from_utf8(&stdout.stderr).unwrap();
        err(&e);
    }

    let expanded = std::str::from_utf8(&stdout.stdout).unwrap();
    let dir = Path::new("oracle");
    let path = {
        let mut p = dir.join(test);
        assert!(p.set_extension("rs"));
        p
    };
    expect_file![path].assert_eq(expanded);
}

#[test]
fn memo_arg() {
    snapshot("testcase_memo_arg");
}

#[test]
fn memo_property() {
    snapshot("testcase_memo_property");
}

#[test]
fn property() {
    snapshot("testcase_property");
}