Roll back to CBMC v5.68.0

model-checking · Oct 28, 2022 · 85eb7a4 · 85eb7a4
1 parent 38e5f23
commit 85eb7a4
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.69.1"
+CBMC_VERSION="5.68.0"
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_VERSION="3.6"