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 <[email protected]>
model-checking · Nov 7, 2024 · 9b2bbd3 · 9b2bbd3
1 parent 4781b95
commit 9b2bbd3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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"])