From 0338dcdecae5149ab5be279af468445ed2ce55c9 Mon Sep 17 00:00:00 2001
From: qinheping <16714939+qinheping@users.noreply.github.com>
Date: Wed, 6 Nov 2024 16:39:54 +0000
Subject: [PATCH] Upgrade CBMC from 6.3.1 to 6.4.0

---
 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"