Bump CBMC viewer version to 3.8 (rust-lang#2040)

zhassan-aws · rahulku · web-flow · commit 9bb8ef098977 · 2022-12-27T07:50:21.000-08:00
Co-authored-by: rahulku &lt;luhark@amazon.com&gt;
diff --git a/kani-dependencies b/kani-dependencies
@@ -1,3 +1,3 @@
 CBMC_VERSION="5.72.0"
 # If you update this version number, remember to bump it in `src/setup.rs` too
-CBMC_VIEWER_VERSION="3.6"
+CBMC_VIEWER_VERSION="3.8"
