telltale-machine 17.0.0

Protocol machine for choreographic session type protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//! Criterion benchmark harness for protocol machine runtime.
#![allow(missing_docs)]

#[path = "protocol_machine_bench_common.rs"]
mod common;
#[path = "protocol_machine_bench_runtime.rs"]
mod runtime;
#[path = "protocol_machine_bench_verification.rs"]
mod verification;

use criterion::{criterion_group, criterion_main, Criterion};

fn bench_vm_run(c: &mut Criterion) {
    runtime::bench_runtime(c);
    verification::bench_verification_and_allocations(c);
}

criterion_group!(benches, bench_vm_run);
criterion_main!(benches);