shuttle 0.9.3

A library for testing concurrent Rust code
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75

[package]
name = "shuttle"
version = "0.9.3"
edition = "2021"
license = "Apache-2.0"
description = "A library for testing concurrent Rust code"
repository = "https://github.com/awslabs/shuttle"
keywords = ["concurrency", "lock", "thread", "async"]
categories = ["asynchronous", "concurrency", "development-tools::testing"]
readme = "../README.md"

[dependencies]
shuttle-engine = { path = "../shuttle-engine", version = "0.1.1" }
shuttle-schedulers = { path = "../shuttle-schedulers", version = "0.1.1" }
shuttle-std = { path = "../shuttle-std", version = "0.1.1" }
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"
tracing = { version = "0.1.36", default-features = false, features = ["std"] }
corosensei = "0.3.1"

# 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 }
const-siphasher = "1.0.2"

[dev-dependencies]
criterion = { version = "0.8", features = ["html_reports"] }
futures = "0.3.15"
proptest = "1.0.0"
proptest-derive = "0.5.0"
regex = "1.5.5"
tempfile = "3.2.0"
test-log = { version = "0.2.8", default-features = false, features = ["trace"] }
tracing-subscriber = { version = "0.3.9", features = ["env-filter"] }
trybuild = "1.0"
pin-project = "1.1.3"
# The following line is necessary to ensure vector-clocks are used for integration tests
# To run performance tests without vector clocks using `cargo bench`, this line must be commented out
shuttle = { path = ".", features = ["vector-clocks"] }

[lib]
bench = false

[features]
default = []
vector-clocks = ["shuttle-engine/vector-clocks"]
annotation = ["shuttle-engine/annotation", "shuttle-schedulers/annotation", "dep:serde", "dep:serde_json", "dep:regex"]
# The following feature overrides the `vector-clocks` feature. It SHOULD NOT be used in production.
# Its purpose is solely to allow `cargo bench` to be run without vector clocks enabled, as they
# are otherwise always enabled via a dev-dependency to ensure all *test* assertions utilizing vector
# clocks behave correctly during testing
bench-no-vector-clocks = ["shuttle-engine/bench-no-vector-clocks"]

[[bench]]
name = "lock"
harness = false

[[bench]]
name = "buffer"
harness = false

[[bench]]
name = "counter"
harness = false

[[bench]]
name = "create"
harness = false