Merge pull request #8046 from esteffin/esteffin/fix-test_struct_union_c

Enrico Steffinlongo · web-flow · commit 7d3c5c48ce57 · 2023-11-17T22:26:10.000Z
Fix test_struct_union_c regression test
diff --git a/regression/cbmc/havoc_slice/test_struct_union_c.desc b/regression/cbmc/havoc_slice/test_struct_union_c.desc
@@ -1,5 +1,5 @@
 CORE no-new-smt
-test_struct_union_b.c
+test_struct_union_c.c
 
 ^EXIT=10$
 ^SIGNAL=0$
