From 2565ef65767a696f1d519b42621b4e502e8970d0 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Wed, 6 Nov 2024 14:25:07 -0600 Subject: [PATCH] Automatic upgrade of CBMC from 6.3.1 to 6.4.0 (#3689) Upgrade CBMC to its latest release. Co-authored-by: qinheping <16714939+qinheping@users.noreply.github.com> Co-authored-by: Michael Tautschnig --- kani-dependencies | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kani-dependencies b/kani-dependencies index 6f844839086c..3d33bb69c486 100644 --- a/kani-dependencies +++ b/kani-dependencies @@ -1,6 +1,6 @@ CBMC_MAJOR="6" -CBMC_MINOR="3" -CBMC_VERSION="6.3.1" +CBMC_MINOR="4" +CBMC_VERSION="6.4.0" # If you update this version number, remember to bump it in `src/setup.rs` too CBMC_VIEWER_MAJOR="3"