From 7c4a8907ceefb4add86009270173b2bc4e09d2cb Mon Sep 17 00:00:00 2001 From: celinval <35149715+celinval@users.noreply.github.com> Date: Sat, 6 Sep 2025 03:17:51 +0000 Subject: [PATCH 1/2] Upgrade Rust toolchain to nightly-2025-09-06 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index ea766172a881..23776ef729ea 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -2,5 +2,5 @@ # SPDX-License-Identifier: Apache-2.0 OR MIT [toolchain] -channel = "nightly-2025-09-05" +channel = "nightly-2025-09-06" components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"] From da3378c8cc9c599d8bcab4edee050781db4540ee Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 8 Sep 2025 15:40:26 +0000 Subject: [PATCH 2/2] Clippy --- kani-driver/src/metadata.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kani-driver/src/metadata.rs b/kani-driver/src/metadata.rs index 1a71e41d71f4..ef9472f4a9cf 100644 --- a/kani-driver/src/metadata.rs +++ b/kani-driver/src/metadata.rs @@ -177,7 +177,7 @@ pub mod tests { #[test] fn check_find_proof_harness_without_exact() { - let harnesses = vec![ + let harnesses = [ mock_proof_harness("check_one", None, None, None), mock_proof_harness("module::check_two", None, None, None), mock_proof_harness("module::not_check_three", None, None, None), @@ -222,7 +222,7 @@ pub mod tests { fn check_find_proof_harness_with_exact() { // Check with exact match - let harnesses = vec![ + let harnesses = [ mock_proof_harness("check_one", None, None, None), mock_proof_harness("module::check_two", None, None, None), mock_proof_harness("module::not_check_three", None, None, None),