Bump CBMC version to 5.87.0 (#2598)

model-checking · Jul 10, 2023 · f26b1cf · f26b1cf
1 parent bb53ec2
commit f26b1cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-dependencies b/kani-dependencies
@@ -1,4 +1,4 @@
-CBMC_VERSION="5.86.0"
+CBMC_VERSION="5.87.0"
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_VERSION="3.8"
 KISSAT_VERSION="3.0.0"