adf_bdd 0.3.1

Library to solve grounded, complete, and stable ADF-semantics by utilising OBDDs - ordered binary decision diagrams
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
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

//! Buildscript to automatically generate test-cases
//! Idea found at https://blog.cyplo.dev/posts/2018/12/generate-rust-tests-from-data
use std::env;
use std::fs::read_dir;
use std::fs::DirEntry;
use std::fs::File;
use std::io::Write;
use std::path::Path;

// build script's entry point
fn main() {
    gen_tests();
}

fn gen_tests() {
    let out_dir = env::var("OUT_DIR").unwrap();
    let destination = Path::new(&out_dir).join("tests.rs");
    let mut test_file = File::create(destination).unwrap();

    if let Ok(test_data_directory) = read_dir("../res/adf-instances/instances/") {
        // write test file header, put `use`, `const` etc there
        write_header(&mut test_file);

        for file in test_data_directory {
            write_test(&mut test_file, &file.unwrap());
        }
    }
}

fn write_test(test_file: &mut File, file: &DirEntry) {
    let file = file.path().canonicalize().unwrap();
    let path = file.display();
    let test_name = format!("{}", file.file_name().unwrap().to_string_lossy())
        .replace('.', "_")
        .replace('-', "_")
        .replace('@', "at")
        .to_lowercase();
    let grounded_name = format!(
        "{}-grounded.txt",
        file.as_path().as_os_str().to_string_lossy()
    )
    .replace(
        "adf-instances/instances",
        "adf-instances/grounded-interpretations",
    );

    write!(
        test_file,
        include_str!("./tests/test_template"),
        name = test_name,
        path = path,
        grounded = grounded_name
    )
    .unwrap();
}

fn write_header(test_file: &mut File) {
    write!(
        test_file,
        r#"
use adf_bdd::adfbiodivine::Adf;
use adf_bdd::parser::AdfParser;
use test_log::test;
"#
    )
    .unwrap();
}