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
mod baking_atmp_mod;

#[test]
fn baking_atmp_timeless_tests() {
    baking_atmp_mod::timeless::main();
}

#[test]
fn baking_atmp_timers_tests() {
    baking_atmp_mod::timers::main();
}

#[test]
fn baking_atmp_timers_err_tests() {
    baking_atmp_mod::timers_err::main();
}