diff --git a/Cargo.toml b/Cargo.toml index 7d67a6850..2e0f1d9f0 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -15,10 +15,6 @@ exclude = [ "tools", ] -[workspace.dependencies] -bolero = "0.12" -bolero-generator = { version = "0.12", default-features = false } - [profile.release-debug] inherits = "dev" opt-level = 3 diff --git a/common/s2n-codec/Cargo.toml b/common/s2n-codec/Cargo.toml index b92a3f2fa..8d6f87c14 100644 --- a/common/s2n-codec/Cargo.toml +++ b/common/s2n-codec/Cargo.toml @@ -19,14 +19,14 @@ checked_range_unsafe = [] generator = ["bolero-generator"] [dependencies] -bolero-generator = { workspace = true, optional = true } +bolero-generator = { version = "0.12", default-features = false, optional = true } byteorder = { version = "1.1", default-features = false } bytes = { version = "1", default-features = false, optional = true } zerocopy = { version = "0.7", features = ["derive"] } [dev-dependencies] -bolero.workspace = true -bolero-generator.workspace = true +bolero = "0.12" +bolero-generator = "0.12" [package.metadata.kani] flags = { tests = true } diff --git a/dc/s2n-quic-dc/Cargo.toml b/dc/s2n-quic-dc/Cargo.toml index d05fb7c6e..5d9ffd415 100644 --- a/dc/s2n-quic-dc/Cargo.toml +++ b/dc/s2n-quic-dc/Cargo.toml @@ -20,7 +20,7 @@ arrayvec = "0.7" atomic-waker = "1" aws-lc-rs = "1" bitflags = "2" -bolero-generator = { workspace = true, optional = true } +bolero-generator = { version = "0.12", default-features = false, optional = true } bytes = "1" crossbeam-channel = "0.5" crossbeam-epoch = "0.9" @@ -46,8 +46,8 @@ zeroize = "1" parking_lot = "0.12" [dev-dependencies] -bolero.workspace = true -bolero-generator.workspace = true +bolero = "0.12" +bolero-generator = "0.12" insta = "1" s2n-codec = { path = "../../common/s2n-codec", features = ["testing"] } s2n-quic-core = { path = "../../quic/s2n-quic-core", features = ["testing"] } diff --git a/quic/s2n-quic-core/Cargo.toml b/quic/s2n-quic-core/Cargo.toml index a0c6b9e80..f68908013 100644 --- a/quic/s2n-quic-core/Cargo.toml +++ b/quic/s2n-quic-core/Cargo.toml @@ -29,7 +29,7 @@ usdt = ["dep:probe"] [dependencies] atomic-waker = { version = "1", optional = true } -bolero-generator = { workspace = true, optional = true } +bolero-generator = { version = "0.12", default-features = false, optional = true } byteorder = { version = "1", default-features = false } bytes = { version = "1", optional = true, default-features = false } crossbeam-utils = { version = "0.8", optional = true } @@ -49,8 +49,8 @@ futures-test = { version = "0.3", optional = true } # For testing Waker interact once_cell = { version = "1", optional = true } [dev-dependencies] -bolero.workspace = true -bolero-generator.workspace = true +bolero = "0.12" +bolero-generator = "0.12" insta = { version = "1", features = ["json"] } futures = "0.3" futures-test = "0.3" diff --git a/quic/s2n-quic-platform/Cargo.toml b/quic/s2n-quic-platform/Cargo.toml index d438fe89d..8fa93f674 100644 --- a/quic/s2n-quic-platform/Cargo.toml +++ b/quic/s2n-quic-platform/Cargo.toml @@ -21,7 +21,7 @@ xdp = ["s2n-quic-xdp"] [dependencies] bach = { version = "0.0.6", optional = true } -bolero-generator = { workspace = true, optional = true } +bolero-generator = { version = "0.12", default-features = false, optional = true } cfg-if = "1" futures = { version = "0.3", default-features = false, features = ["async-await"], optional = true } lazy_static = { version = "1", optional = true } @@ -37,8 +37,8 @@ libc = "0.2" [dev-dependencies] bach = { version = "0.0.6" } -bolero.workspace = true -bolero-generator.workspace = true +bolero = "0.12" +bolero-generator = "0.12" futures = { version = "0.3", features = ["std"] } insta = { version = "1", features = ["json"] } s2n-quic-core = { path = "../s2n-quic-core", features = ["testing"] } diff --git a/quic/s2n-quic-transport/Cargo.toml b/quic/s2n-quic-transport/Cargo.toml index 15fd57ce8..2a8c2873a 100644 --- a/quic/s2n-quic-transport/Cargo.toml +++ b/quic/s2n-quic-transport/Cargo.toml @@ -29,7 +29,7 @@ siphasher = "1.0" smallvec = { version = "1", default-features = false } [dev-dependencies] -bolero.workspace = true +bolero = "0.12" futures-test = "0.3" # For testing Waker interactions insta = { version = "1", features = ["json"] } s2n-codec = { path = "../../common/s2n-codec", features = ["testing"] } diff --git a/quic/s2n-quic/Cargo.toml b/quic/s2n-quic/Cargo.toml index ebde2f30f..f073f71dd 100644 --- a/quic/s2n-quic/Cargo.toml +++ b/quic/s2n-quic/Cargo.toml @@ -84,7 +84,7 @@ zerocopy = { version = "0.7", optional = true, features = ["derive"] } zeroize = { version = "1", optional = true, default-features = false } [dev-dependencies] -bolero.workspace = true +bolero = { version = "0.12" } s2n-quic-core = { path = "../s2n-quic-core", features = ["branch-tracing", "event-tracing", "probe-tracing", "testing"] } s2n-quic-platform = { path = "../s2n-quic-platform", features = ["testing"] } s2n-quic-transport = { path = "../s2n-quic-transport", features = ["unstable_resumption", "unstable-provider-dc"] }