total-space 0.1.1

Explore the total space of states of communicating finite state machines.
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
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

mod common;
use escargot::CargoBuild;

fn check_example(example: &str, test_name: &str, suffix: &str, flags: &[&str]) {
    let path = if cfg!(debug_assertions) {
        format!("target/debug/examples/{}", example)
    } else {
        format!("target/release/examples/{}", example)
    };

    let error = format!("failed to run: {} {:?}", path, flags);

    let actual_output = CargoBuild::new()
        .example(example)
        .current_release()
        .current_target()
        .run()
        .expect(&error)
        .command()
        .args(flags)
        .output()
        .expect(&error);

    if !actual_output.status.success() {
        panic!("{}", error); // NOT TESTED
    }
    let actual_bytes = actual_output.stdout.as_slice();

    common::impl_assert_output(
        &format!("example_{}", example),
        test_name,
        suffix,
        actual_bytes,
    );
}

#[test]
fn test_configurations() {
    check_example("simple", test_name!(), "txt", &vec!["configurations"]);
}

#[test]
fn test_transitions() {
    check_example("simple", test_name!(), "txt", &vec!["transitions"]);
}

#[test]
fn test_client_states() {
    check_example("simple", test_name!(), "dot", &vec!["states", "-c", "C(0)"]);
}

#[test]
fn test_server_states() {
    check_example("simple", test_name!(), "dot", &vec!["states", "-c", "S"]);
}

#[test]
fn test_1_1_path() {
    check_example(
        "simple",
        test_name!(),
        "txt",
        &vec!["path", "INIT", "!INIT", "INIT"],
    );
}

#[test]
fn test_1_1_sequence() {
    check_example(
        "simple",
        test_name!(),
        "uml",
        &vec!["sequence", "INIT", "!INIT", "INIT"],
    );
}

#[test]
fn test_2_1_path() {
    check_example(
        "simple",
        test_name!(),
        "txt",
        &vec!["-C", "2", "path", "INIT", "DEFERRED_TASK", "INIT"],
    );
}

#[test]
fn test_2_1_sequence() {
    check_example(
        "simple",
        test_name!(),
        "uml",
        &vec!["-C", "2", "sequence", "INIT", "DEFERRED_TASK", "INIT"],
    );
}