cbmc 5.72.0

Closes #117658. Signed-off-by: Sean Molenaar <1484494+SMillerDev@users.noreply.github.com> Signed-off-by: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>
2022-12-08 14:53:39 +00:00 · 2022-12-08 14:53:39 +00:00 · 55f8937fcd
parent f42e95ab1e
commit 55f8937fcd
1 changed files with 2 additions and 2 deletions
--- a/Formula/cbmc.rb
+++ b/Formula/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-5.71.0",
-      revision: "a042d91e34e9b18c5edc7c9e575cef7f9bb92c9b"
+      tag:      "cbmc-5.72.0",
+      revision: "9a84d62dabbf92e2a0e83bec136b9c6d73d6f2b1"
  license "BSD-4-Clause"

  bottle do