[rpms/cbmc] rawhide: rebase to the latest upstream release

            A new commit has been pushed.

            Repo   : rpms/cbmc
            Branch : rawhide
            Commit : 33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5
            Author : Lukáš Zaoral <lzaoral@redhat.com>
            Date   : 2026-07-16T15:13:01+02:00
            Stats  : +6/-3 in 2 file(s)
            URL    : https://src.fedoraproject.org/rpms/cbmc/c/33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5?branch=rawhide

            Log:
            rebase to the latest upstream release

Resolves: rhzb#2492168

---
diff --git a/cbmc.spec b/cbmc.spec
index 87d0289..39ceca5 100644
--- a/cbmc.spec
+++ b/cbmc.spec
@@ -4,8 +4,8 @@
 %define utils_version 1.3
 
 Name:           cbmc
-Version:        6.9.0
-Release:        2%{?dist}
+Version:        6.10.0
+Release:        1%{?dist}
 Summary:        Bounded Model Checker for ANSI-C and C++ programs
 
 License:        BSD-4-Clause
@@ -131,6 +131,9 @@ mv %{buildroot}{/usr/etc/bash_completion.d/cbmc,%{bash_completions_dir}}
 %{_bindir}/csexec-%{name}
 
 %changelog
+* Thu Jul 16 2026 Lukáš Zaoral <lzaoral@redhat.com> - 6.10.0-1
+- rebase to the latest upstream release (rhzb#2492168)
+
 * Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 6.9.0-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
 

diff --git a/sources b/sources
index 6986df3..43576db 100644
--- a/sources
+++ b/sources
@@ -1,2 +1,2 @@
-SHA512 (cbmc-6.9.0.tar.gz) = 527e78ec6ecfc82cd88ba4617358408794a155cee0cfe3d017d04c5b11590ecf526ee9e0e07b8f47a041f340c148eb10a0aaf0d381ae76bbf22c03d5f2ee418b
+SHA512 (cbmc-6.10.0.tar.gz) = 87a8d0202c778c0699a11733f1d73f2239d9f91222644dc6fbffc820ece53f43621152191fa5443957c85608a0021e56b290959f10b518cb04133c40c7bf0dbe
 SHA512 (cbmc-utils-1.3.tar.gz) = 3f3eaa9f2b2e75b1088998911f282eb2589fa4b724dbca2dd155d9c60dde302e732e6405897aee349490ba54d336f03c094fe57f92fb42fd317c6c1d4b951488