From 9b2bbd38ad4cbd1f4aa662b5bf308bae90bb9c70 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Delmas?= Date: Thu, 7 Nov 2024 04:16:00 -0500 Subject: [PATCH] Update cbmc-viewer to 3.10 (#3683) By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. Co-authored-by: Remi Delmas --- kani-dependencies | 4 ++-- src/setup.rs | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kani-dependencies b/kani-dependencies index 3d33bb69c486..ac6b353733a2 100644 --- a/kani-dependencies +++ b/kani-dependencies @@ -4,7 +4,7 @@ CBMC_VERSION="6.4.0" # If you update this version number, remember to bump it in `src/setup.rs` too CBMC_VIEWER_MAJOR="3" -CBMC_VIEWER_MINOR="9" -CBMC_VIEWER_VERSION="3.9" +CBMC_VIEWER_MINOR="10" +CBMC_VIEWER_VERSION="3.10" KISSAT_VERSION="3.1.1" diff --git a/src/setup.rs b/src/setup.rs index eb1227269ccc..0901de9a8b00 100644 --- a/src/setup.rs +++ b/src/setup.rs @@ -189,7 +189,7 @@ fn setup_python_deps(kani_dir: &Path) -> Result<()> { let pyroot = kani_dir.join("pyroot"); // TODO: this is a repetition of versions from kani/kani-dependencies - let pkg_versions = &["cbmc-viewer==3.9"]; + let pkg_versions = &["cbmc-viewer==3.10"]; Command::new("python3") .args(["-m", "pip", "install", "--target"])