From fc173621276693f60e1fd7ea60e8d83c2f1dc100 Mon Sep 17 00:00:00 2001 From: celinval <35149715+celinval@users.noreply.github.com> Date: Sat, 19 Oct 2024 03:15:20 +0000 Subject: [PATCH 1/2] Upgrade Rust toolchain to nightly-2024-10-19 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 3ed311186f56..9fbed15ec5b2 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -2,5 +2,5 @@ # SPDX-License-Identifier: Apache-2.0 OR MIT [toolchain] -channel = "nightly-2024-10-18" +channel = "nightly-2024-10-19" components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"] From 3707c60d14a45ff0b854d1a776f103c08826b264 Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Fri, 18 Oct 2024 22:15:14 -0700 Subject: [PATCH 2/2] Clippy fix --- kani-driver/src/cbmc_property_renderer.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kani-driver/src/cbmc_property_renderer.rs b/kani-driver/src/cbmc_property_renderer.rs index 99991798beb8..5c10d08badb6 100644 --- a/kani-driver/src/cbmc_property_renderer.rs +++ b/kani-driver/src/cbmc_property_renderer.rs @@ -749,9 +749,9 @@ fn annotate_properties_with_reach_results( reach_map.entry(check_id_str).or_default().push(status); } + let check_marker_pat = Regex::new(r"\[KANI_CHECK_ID_([^\]]*)\]").unwrap(); for prop in properties.iter_mut() { let description = &prop.description; - let check_marker_pat = Regex::new(r"\[KANI_CHECK_ID_([^\]]*)\]").unwrap(); if check_marker_pat.is_match(description) { // Capture the ID in the property let prop_match_id =