cbmc: update 6.7.1 bottle.

Author: BrewTestBot

Formula/c/cbmc.rb

@@ -9,13 +9,13 @@ class Cbmc < Formula
   no_autobump! because: :requires_manual_review
 
   bottle do
-    sha256 cellar: :any_skip_relocation, arm64_sequoia: "a7becbc8bbb8bf19e4117619a38bdd327382327e7ae5e9ea8d4a67eeae90b838"
-    sha256 cellar: :any_skip_relocation, arm64_sonoma:  "fbb4023fd3a987c09ad476a4b23bf4a4169c2f679ffeb7ff9fe7ff54fce64ab5"
-    sha256 cellar: :any_skip_relocation, arm64_ventura: "57bcd93ceecdd9c6a6b502793f4430f5904350f8cfb0b70ba8a934e5c5fee7be"
-    sha256 cellar: :any_skip_relocation, sonoma:        "f32ac34db6255e3beeabbd817411ae696032bddc68442c8a6ddcdf3de0147b0d"
-    sha256 cellar: :any_skip_relocation, ventura:       "3a206657edd5de624267a31015ccda82fa1351d38b1b6289d8a14f7f80c947bb"
-    sha256 cellar: :any_skip_relocation, arm64_linux:   "f1ecddb0d843183648927b936b16ed1307b968f9f7140187907f61f34f2436ea"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:  "f2952e3ae721388b49a2ec58eb1b55c291e904246009af1f699334aace3b70ac"
+    sha256 cellar: :any_skip_relocation, arm64_sequoia: "a8eb1a58c31b2d9e058603bc51256b2afa472812b6e12a80147f8fee69789cf9"
+    sha256 cellar: :any_skip_relocation, arm64_sonoma:  "af3b37f03018ca7726d7aea58b6764e21e56bd5e634541741e4a68bb783d1c44"
+    sha256 cellar: :any_skip_relocation, arm64_ventura: "6bcf9127d1034a739e807d8397cfa2809a94a3285a045b1d3c82aac8104beed9"
+    sha256 cellar: :any_skip_relocation, sonoma:        "2fb85f758134ea23ef3c6bdd617fb3af20c4142f913f6add2073e1de4446d7e2"
+    sha256 cellar: :any_skip_relocation, ventura:       "6a17570d917844ac3345bc76dd4ed7348277ed57dec7d51b40f67731b63bb43b"
+    sha256 cellar: :any_skip_relocation, arm64_linux:   "de45dce8bac8c72bc9259c0bf60d2bea6bcc4330b1b01bc4af0a78293f6f5c33"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:  "fd031a9018c40d31592c3ce172a2499f58d0e5bc5c63ac812ce5431e7c9d480b"
   end
 
   depends_on "cmake" => :build