From 8121fc951d11712fc0cb2dbc3ae30691f1ae16f5 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Thu, 7 Dec 2023 14:07:44 +0000
Subject: [PATCH] Bump the cargo group with 2 updates
Bumps the cargo group with 2 updates: [clap](https://github.com/clap-rs/clap) and [once_cell](https://github.com/matklad/once_cell).
Updates `clap` from 4.4.10 to 4.4.11
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v4.4.10...v4.4.11)
Updates `once_cell` from 1.18.0 to 1.19.0
- [Changelog](https://github.com/matklad/once_cell/blob/master/CHANGELOG.md)
- [Commits](https://github.com/matklad/once_cell/compare/v1.18.0...v1.19.0)
---
updated-dependencies:
- dependency-name: clap
dependency-type: direct:production
update-type: version-update:semver-patch
dependency-group: cargo
- dependency-name: once_cell
dependency-type: direct:production
update-type: version-update:semver-minor
dependency-group: cargo
...
Signed-off-by: dependabot[bot] <support@github.com>
---
Cargo.lock | 12 ++++++------
kani-compiler/Cargo.toml | 2 +-
kani-driver/Cargo.toml | 4 ++--
kani_metadata/Cargo.toml | 2 +-
tools/build-kani/Cargo.toml | 2 +-
5 files changed, 11 insertions(+), 11 deletions(-)
diff --git a/Cargo.lock b/Cargo.lock
index 2adf5eaa3fbd..453236b7497b 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -167,9 +167,9 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
[[package]]
name = "clap"
-version = "4.4.10"
+version = "4.4.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "41fffed7514f420abec6d183b1d3acfd9099c79c3a10a06ade4f8203f1411272"
+checksum = "bfaff671f6b22ca62406885ece523383b9b64022e341e53e009a62ebc47a45f2"
dependencies = [
"clap_builder",
"clap_derive",
@@ -177,9 +177,9 @@ dependencies = [
[[package]]
name = "clap_builder"
-version = "4.4.9"
+version = "4.4.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "63361bae7eef3771745f02d8d892bec2fee5f6e34af316ba556e7f97a7069ff1"
+checksum = "a216b506622bb1d316cd51328dce24e07bdff4a6128a47c7e7fad11878d5adbb"
dependencies = [
"anstream",
"anstyle",
@@ -686,9 +686,9 @@ dependencies = [
[[package]]
name = "once_cell"
-version = "1.18.0"
+version = "1.19.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "dd8b5dd2ae5ed71462c540258bedcb51965123ad7e7ccf4b9a8cafaa4a63576d"
+checksum = "3fdb12b2476b595f9358c5161aa467c2438859caa136dec86c26fdd2efe17b92"
[[package]]
name = "os_info"
diff --git a/kani-compiler/Cargo.toml b/kani-compiler/Cargo.toml
index 2ab60f48c363..a9e4c974c6eb 100644
--- a/kani-compiler/Cargo.toml
+++ b/kani-compiler/Cargo.toml
@@ -10,7 +10,7 @@ publish = false
[dependencies]
cbmc = { path = "../cprover_bindings", package = "cprover_bindings", optional = true }
-clap = { version = "4.1.3", features = ["derive", "cargo"] }
+clap = { version = "4.4.11", features = ["derive", "cargo"] }
home = "0.5"
itertools = "0.12"
kani_metadata = {path = "../kani_metadata"}
diff --git a/kani-driver/Cargo.toml b/kani-driver/Cargo.toml
index 0886865b063e..ca0161652ae4 100644
--- a/kani-driver/Cargo.toml
+++ b/kani-driver/Cargo.toml
@@ -16,10 +16,10 @@ kani_metadata = { path = "../kani_metadata" }
cargo_metadata = "0.18.0"
anyhow = "1"
console = "0.15.1"
-once_cell = "1.13.0"
+once_cell = "1.19.0"
serde = { version = "1", features = ["derive"] }
serde_json = "1"
-clap = { version = "4.1.3", features = ["derive"] }
+clap = { version = "4.4.11", features = ["derive"] }
glob = "0.3"
toml = "0.8"
regex = "1.6"
diff --git a/kani_metadata/Cargo.toml b/kani_metadata/Cargo.toml
index d5f4f95587e4..3cb7fa7c605e 100644
--- a/kani_metadata/Cargo.toml
+++ b/kani_metadata/Cargo.toml
@@ -15,4 +15,4 @@ serde = {version = "1", features = ["derive"]}
cbmc = { path = "../cprover_bindings", package = "cprover_bindings" }
strum = "0.25.0"
strum_macros = "0.25.2"
-clap = { version = "4.1.3", features = ["derive"] }
+clap = { version = "4.4.11", features = ["derive"] }
diff --git a/tools/build-kani/Cargo.toml b/tools/build-kani/Cargo.toml
index dd7dfcddee3f..cb17e13b3c99 100644
--- a/tools/build-kani/Cargo.toml
+++ b/tools/build-kani/Cargo.toml
@@ -12,5 +12,5 @@ publish = false
[dependencies]
anyhow = "1"
cargo_metadata = "0.18.0"
-clap = { version = "4.1.3", features=["derive"] }
+clap = { version = "4.4.11", features=["derive"] }
which = "5"