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

mod cancel_mod;

#[test]
fn canceling() {
    cancel_mod::cancel_00::main();
    cancel_mod::cancel_01::main();
    cancel_mod::cancel_02::main();
    cancel_mod::cancel_03::main();
    cancel_mod::cancel_04::main();
    cancel_mod::cancel_05::main();
    cancel_mod::cancel_06::main();
    cancel_mod::cancel_07::main();
    cancel_mod::cancel_08::main();
    cancel_mod::cancel_09::main();
    cancel_mod::cancel_10::main();
    cancel_mod::cancel_11::main();
    cancel_mod::cancel_12::main();
    cancel_mod::cancel_13::main();
    cancel_mod::cancel_14::main();
    cancel_mod::cancel_15::main();
    cancel_mod::cancel_16::main();
}