cbmc 6.2.0

db-ci-cprover · Sep 3, 2024 · acf2271 · acf2271
1 parent 5a0249f
commit acf2271
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Formula/c/cbmc.rb b/Formula/c/cbmc.rb
@@ -2,8 +2,8 @@ class Cbmc < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",
-      tag:      "cbmc-6.1.1",
-      revision: "b3359791bcc1a6651646920c3936ce167465db92"
+      tag:      "cbmc-6.2.0",
+      revision: "27b845c975c6bbdfb2ccc6f40bdfae6793d12277"
   license "BSD-4-Clause"
 
   bottle do