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
20
21
22
23
24
25
26
27

#![allow(missing_docs)]
#![cfg(not(target_arch = "wasm32"))]
//! Contract test for threaded conformance lane execution.

use cfg_if::cfg_if;

#[test]
#[allow(clippy::assertions_on_constants)]
fn strict_conformance_env_requires_multi_thread_feature() {
    if std::env::var_os("TT_EXPECT_MULTI_THREAD").is_none() {
        return;
    }
    assert!(
        cfg!(feature = "multi-thread"),
        "TT_EXPECT_MULTI_THREAD=1 requires `--features multi-thread` so threaded conformance lanes cannot be skipped"
    );
}

cfg_if! {
    if #[cfg(feature = "multi-thread")] {
        #[test]
        #[allow(clippy::assertions_on_constants)]
        fn threaded_feature_lane_is_active() {
            assert!(cfg!(feature = "multi-thread"));
        }
    }
}