From d5d3359b63cbad0bd0951f0bd85edc1154672e40 Mon Sep 17 00:00:00 2001
From: Diffblue CI CProver <69641018+db-ci-cprover@users.noreply.github.com>
Date: Thu, 19 Sep 2024 09:32:58 +0000
Subject: [PATCH] cbmc 6.3.0

- Revert 6.2.0 patch

The problem has been addressed upstream (the patch itself was a
cherry-pick from upstream).

Co-authored-by: Michael Tautschnig <tautschn@amazon.com>
---
 Formula/c/cbmc.rb | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

diff --git a/Formula/c/cbmc.rb b/Formula/c/cbmc.rb
index 4b34d412ec76..55c44fb1eccf 100644
--- 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.2.0",
-      revision: "27b845c975c6bbdfb2ccc6f40bdfae6793d12277"
+      tag:      "cbmc-6.3.0",
+      revision: "5bd494a1a961762a038ba8e055bc1e4a12dbba3b"
   license "BSD-4-Clause"
 
   bottle do
@@ -25,13 +25,6 @@ class Cbmc < Formula
 
   fails_with gcc: "5"
 
-  # Backport fix for CMake Error at jbmc/unit/CMakeLists.txt
-  # Cannot find source file: /tmp/unit/unit_tests.cpp
-  patch do
-    url "https://github.com/diffblue/cbmc/commit/faf92c5354e3aaca6c70013bb75b26a271c6f63d.patch?full_index=1"
-    sha256 "7dd49f1364a24b914e13e3e16de7611db10467f1235e308d1c7fa77291171de6"
-  end
-
   def install
     # Fixes: *** No rule to make target 'bin/goto-gcc',
     # needed by '/tmp/cbmc-20240525-215493-ru4krx/regression/goto-gcc/archives/libour_archive.a'.  Stop.