shuttle-engine 0.1.1

Core runtime and scheduler trait for Shuttle concurrency testing
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
28
29
30
31
32
33
34
35
36

[package]
name = "shuttle-engine"
version = "0.1.1"
edition = "2021"
license = "Apache-2.0"
description = "Core runtime and scheduler trait for Shuttle concurrency testing"
repository = "https://github.com/awslabs/shuttle"

[dependencies]
assoc = "0.1.3"
bitvec = "1.0.1"
cfg-if = "1.0"
hex = "0.4.2"
owo-colors = "4.3.0"
rand_core = "0.6.4"
rand = "0.8.6"
rand_pcg = "0.3.1"
scoped-tls = "1.0.0"
smallvec = { version = "1.11.2", features = ["const_new"] }
tracing = { version = "0.1.36", default-features = false, features = ["std"] }
corosensei = "0.3.1"
const-siphasher = "1.0.2"

# for annotation only
regex = { version = "1.10.6", optional = true }
serde = { version = "1.0", features = ["derive"], optional = true }
serde_json = { version = "1.0", optional = true }

[dev-dependencies]
proptest = "1.0.0"

[features]
default = []
vector-clocks = []
annotation = ["dep:serde", "dep:serde_json", "dep:regex"]
bench-no-vector-clocks = []