From 33eb7daa1d09ea49a647b4a1716d685a644bed0f Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Sun, 10 Dec 2023 00:10:21 +0100
Subject: [PATCH] Bump the cargo group with 2 updates (#2920)

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
Updates `once_cell` from 1.18.0 to 1.19.0
---
 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"