More precisely tag union tests failing with (some) SMT back-end

tautschnig · tautschnig · commit 190f8ffb6ed9 · 2022-11-03T09:45:31.000Z
The existing tags permit a more precise tracking to pinpoint where there issues actually are. Fixes: diffblue#7292
diff --git 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
@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE broken-z3-smt-backend
 union_update.c
 
 ^EXIT=10$
