Bump CBMC to 5.62 and Viewer to 3.6 (rust-lang#1405)

Author: tedinski

kani-dependencies

@@ -1,3 +1,3 @@
-CBMC_VERSION="5.61.0"
+CBMC_VERSION="5.62.0"
 # If you update this version number, remember to bump it in `src/setup.rs` too
-CBMC_VIEWER_VERSION="3.5"
+CBMC_VIEWER_VERSION="3.6"

src/setup.rs

@@ -112,7 +112,7 @@ fn setup_python_deps(kani_dir: &Path, os: &os_info::Info) -> Result<()> {
     let pyroot = kani_dir.join("pyroot");
 
     // TODO: this is a repetition of versions from kani/kani-dependencies
-    let pkg_versions = &["cbmc-viewer==3.5", "colorama==0.4.3"];
+    let pkg_versions = &["cbmc-viewer==3.6", "colorama==0.4.3"];
 
     if os.os_type() == os_info::Type::Ubuntu
         // Check both versions: https://github.com/stanislav-tkach/os_info/issues/318