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

@@ -167,19 +167,19 @@ 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",
 ]
 
 [[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"

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"}

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"

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"] }

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"