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

mod interleaved_mod;

// Tests for macros with more than two participants
#[test]
fn interleaved() {
    // Macro multi send-recv
    interleaved_mod::macro_multi_send_recv_meshedchannels_solo::interleaved_main();

    // Macro multi recursion
    interleaved_mod::macro_multi_recursion_solo::interleaved_main();

    // Macro recursive
    interleaved_mod::macro_recursive_solo::interleaved_main();

    // Macro multi recursion
    interleaved_mod::macro_multi_recursion::interleaved_main();
}