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

Author: remi-delmas-3000

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"

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