mpstthree 0.1.17

A library implementing Multiparty Session Types for 2 or more participants
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

mod infinite_type;
mod scribble;

#[test]
fn scribble_tests() {
    // Test code generated from Scribble
    scribble::top_down::top_down_approach();
    scribble::top_down_recursive::top_down_approach();
}

#[test]
fn infinite_type_pass() {
    infinite_type::work::main();
}

#[test]
fn infinite_type_fail() {
    let t = trybuild::TestCases::new();

    // Infinite types
    t.compile_fail("tests/infinite_type/infinite_size.rs");
    t.compile_fail("tests/infinite_type/overflow_evaluation.rs");
    t.compile_fail("tests/infinite_type/overflow_evaluation_with_box.rs");
    t.compile_fail("tests/infinite_type/fail_0.rs");
    t.compile_fail("tests/infinite_type/fail_1.rs");
    t.compile_fail("tests/infinite_type/fail_2.rs");
    t.compile_fail("tests/infinite_type/fail_3.rs");
}