From 7df121a608c4e02834e70e93dd487d679ca52f3f Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Wed, 6 Nov 2024 07:01:46 -0800
Subject: [PATCH] Bump CBMC to 6.4.0 + CBMC #8496

---
 lib/cbmc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/cbmc b/lib/cbmc
index 83922b2f5..beebdda9e 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 83922b2f547f3e04c7dc51d070af73e3d3064451
+Subproject commit beebdda9e501efd7605ec33045d1e0979463bdb7