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

Co-authored-by: rahulku <luhark@amazon.com>
celinval · Dec 27, 2022 · 9bb8ef0 · 9bb8ef0
1 parent ed25aa6
commit 9bb8ef0
Showing 1 changed file with 1 addition and 1 deletion.
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"