Fix test_struct_union_c regression test

cbmc/havoc_slice/test_struct_union_c.desc regression test was using test_struct_union_b.c instead of test_struct_union_c.c, that was never used. This commit fixes this by running the correct file.
diffblue · Nov 17, 2023 · cbd18c9 · cbd18c9
1 parent bf6d759
commit cbd18c9
Showing 1 changed file with 1 addition and 1 deletion.
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$