From 55f8937fcd9371283214cd706fd9c63093abed68 Mon Sep 17 00:00:00 2001
From: Diffblue CI CProver <69641018+db-ci-cprover@users.noreply.github.com>
Date: Thu, 8 Dec 2022 14:53:39 +0000
Subject: [PATCH] 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>
---
 Formula/cbmc.rb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Formula/cbmc.rb b/Formula/cbmc.rb
index 9162d3e7e2d..5891cc97ff4 100644
--- 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