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

mod macros_simple_mod;

#[test]
fn unit_tests_meshedchannels() {
    // MeshedChannels methods and fields
    macros_simple_mod::unit_meshedchannels::meshedchannels_fields();
    macros_simple_mod::unit_meshedchannels::meshedchannels_methods();
    macros_simple_mod::unit_meshedchannels::meshedchannels_self_methods();
}

// Tests for macros with three participants but any role
#[test]
fn macro_basics() {
    // Macro macros_simple_mod
    macros_simple_mod::macro_basics::basic_macros_send();
    macros_simple_mod::macro_basics::basic_macros_recv();

    // Macro choice
    macros_simple_mod::macro_choice::run_usecase_right();
    macros_simple_mod::macro_choice::run_usecase_left();
}