From 78761bdac057a910a8f23f7622c0a3a9df6953fb Mon Sep 17 00:00:00 2001
From: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Date: Mon, 3 Oct 2022 13:00:46 -0700
Subject: [PATCH] Bump CBMC version to 5.67.0 (#1739)

---
 kani-dependencies          | 2 +-
 scripts/kani-regression.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/kani-dependencies b/kani-dependencies
index 36e0c88654a8..8dab186c3a90 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,3 +1,3 @@
-CBMC_VERSION="5.66.0"
+CBMC_VERSION="5.67.0"
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_VERSION="3.6"
diff --git a/scripts/kani-regression.sh b/scripts/kani-regression.sh
index 487389260533..e6eac93ddc0b 100755
--- a/scripts/kani-regression.sh
+++ b/scripts/kani-regression.sh
@@ -22,7 +22,7 @@ KANI_DIR=$SCRIPT_DIR/..
 export KANI_FAIL_ON_UNEXPECTED_DESCRIPTION="true"
 
 # Required dependencies
-check-cbmc-version.py --major 5 --minor 66
+check-cbmc-version.py --major 5 --minor 67
 check-cbmc-viewer-version.py --major 3 --minor 5
 
 # Formatting check