From 043ee6766109448f2ba0aab5548c759c6f4780fb Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 29 Mar 2023 22:57:12 +0000 Subject: [PATCH] build(deps): update bolero requirement from 0.8 to 0.9 Updates the requirements on [bolero](https://github.com/camshaft/bolero) to permit the latest version. - [Release notes](https://github.com/camshaft/bolero/releases) - [Changelog](https://github.com/camshaft/bolero/blob/master/CHANGELOG.md) - [Commits](https://github.com/camshaft/bolero/compare/v0.8.0...v0.9.0) --- updated-dependencies: - dependency-name: bolero dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- common/s2n-codec/Cargo.toml | 2 +- quic/s2n-quic-core/Cargo.toml | 6 +++--- quic/s2n-quic-core/src/inet/ipv6.rs | 2 +- quic/s2n-quic-crypto/Cargo.toml | 2 +- quic/s2n-quic-platform/Cargo.toml | 6 +++--- quic/s2n-quic-transport/Cargo.toml | 2 +- quic/s2n-quic/Cargo.toml | 2 +- 7 files changed, 11 insertions(+), 11 deletions(-) diff --git a/common/s2n-codec/Cargo.toml b/common/s2n-codec/Cargo.toml index d5ec582693..88461f9f21 100644 --- a/common/s2n-codec/Cargo.toml +++ b/common/s2n-codec/Cargo.toml @@ -18,7 +18,7 @@ checked_range_unsafe = [] generator = ["bolero-generator"] [dependencies] -bolero-generator = { version = "0.8", default-features = false, optional = true } +bolero-generator = { version = "0.9", default-features = false, optional = true } byteorder = { version = "1.1", default-features = false } bytes = { version = "1", default-features = false, optional = true } zerocopy = "0.6" diff --git a/quic/s2n-quic-core/Cargo.toml b/quic/s2n-quic-core/Cargo.toml index 363c68d6bc..387318a321 100644 --- a/quic/s2n-quic-core/Cargo.toml +++ b/quic/s2n-quic-core/Cargo.toml @@ -21,7 +21,7 @@ event-tracing = ["tracing"] [dependencies] atomic-waker = { version = "1", optional = true } -bolero-generator = { version = "0.8", default-features = false, optional = true } +bolero-generator = { version = "0.9", optional = true } byteorder = { version = "1", default-features = false } bytes = { version = "1", optional = true, default-features = false } cache-padded = { version = "1", optional = true } @@ -39,8 +39,8 @@ futures-test = { version = "0.3", optional = true } # For testing Waker interact once_cell = { version = "1", optional = true } [dev-dependencies] -bolero = "0.8" -bolero-generator = { version = "0.8", default-features = false } +bolero = "0.9" +bolero-generator = "0.9" insta = { version = "1", features = ["json"] } futures = "0.3" futures-test = "0.3" diff --git a/quic/s2n-quic-core/src/inet/ipv6.rs b/quic/s2n-quic-core/src/inet/ipv6.rs index 6b4f8ad596..d2ed7870bc 100644 --- a/quic/s2n-quic-core/src/inet/ipv6.rs +++ b/quic/s2n-quic-core/src/inet/ipv6.rs @@ -667,7 +667,7 @@ mod tests { /// Asserts the UnicastScope returned matches a known implementation #[test] - #[cfg_attr(kani, kani::proof, kani::unwind(2), kani::solver(kissat))] + #[cfg_attr(kani, kani::proof, kani::unwind(17), kani::solver(kissat))] fn scope_test() { let g = gen::<[u8; 16]>().map_gen(IpV6Address::from); check!().with_generator(g).cloned().for_each(|subject| { diff --git a/quic/s2n-quic-crypto/Cargo.toml b/quic/s2n-quic-crypto/Cargo.toml index da44c55eae..7cfc2da985 100644 --- a/quic/s2n-quic-crypto/Cargo.toml +++ b/quic/s2n-quic-crypto/Cargo.toml @@ -28,7 +28,7 @@ zeroize_derive = { version = "<1.4" } [dev-dependencies] aes = "0.8" aes-gcm = "0.10" -bolero = "0.8" +bolero = "0.9" ghash = "0.5" hex-literal = "0.3" insta = { version = "1", features = ["json"] } diff --git a/quic/s2n-quic-platform/Cargo.toml b/quic/s2n-quic-platform/Cargo.toml index 978d3939a2..32c191708f 100644 --- a/quic/s2n-quic-platform/Cargo.toml +++ b/quic/s2n-quic-platform/Cargo.toml @@ -20,7 +20,7 @@ tokio-runtime = ["futures", "pin-project", "tokio"] [dependencies] bach = { version = "0.0.6", optional = true } -bolero-generator = { version = "0.8", default-features = false, optional = true } +bolero-generator = { version = "0.9", optional = true } cfg-if = "1" errno = "0.3" futures = { version = "0.3", default-features = false, features = ["async-await"], optional = true } @@ -37,8 +37,8 @@ libc = "0.2" [dev-dependencies] bach = { version = "0.0.6" } -bolero = "0.8" -bolero-generator = { version = "0.8", default-features = false } +bolero = "0.9" +bolero-generator = "0.9" 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 774a9194e7..2511535dda 100644 --- a/quic/s2n-quic-transport/Cargo.toml +++ b/quic/s2n-quic-transport/Cargo.toml @@ -27,7 +27,7 @@ siphasher = "0.3" smallvec = { version = "1", default-features = false } [dev-dependencies] -bolero = "0.8" +bolero = "0.9" 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 ca04affa06..b20e85dd96 100644 --- a/quic/s2n-quic/Cargo.toml +++ b/quic/s2n-quic/Cargo.toml @@ -69,7 +69,7 @@ zerocopy-derive = { version = "0.3", optional = true } zeroize = { version = "1", optional = true, default-features = false } [dev-dependencies] -bolero = { version = "0.8" } +bolero = { version = "0.9" } s2n-quic-core = { path = "../s2n-quic-core", features = ["testing", "event-tracing"] } s2n-quic-platform = { path = "../s2n-quic-platform", features = ["testing"] } tokio = { version = "1", features = ["full"] }