From 190f8ffb6ed9047c3a553dd33045424f3291fed7 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 3 Nov 2022 09:45:31 +0000
Subject: [PATCH] More precisely tag union tests failing with (some) SMT
 back-end

The existing tags permit a more precise tracking to pinpoint where there
issues actually are.

Fixes: #7292
---
 regression/cbmc/union/union_member.desc | 2 +-
 regression/cbmc/union/union_update.desc | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/regression/cbmc/union/union_member.desc b/regression/cbmc/union/union_member.desc
index a2b273bfe0f..b2831085263 100644
--- a/regression/cbmc/union/union_member.desc
+++ b/regression/cbmc/union/union_member.desc
@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE broken-z3-smt-backend
 union_member.c
 
 ^EXIT=10$
diff --git a/regression/cbmc/union/union_update.desc b/regression/cbmc/union/union_update.desc
index 8f8f7b852b0..623c206a41f 100644
--- a/regression/cbmc/union/union_update.desc
+++ b/regression/cbmc/union/union_update.desc
@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE broken-z3-smt-backend
 union_update.c
 
 ^EXIT=10$