Test structs/array_in_struct1.desc works

kroening · kroening · commit fb28003dca4a · 2025-09-26T01:16:33.000-07:00
The issue was fixed by #1251
diff --git a/regression/verilog/structs/array_in_struct1.desc b/regression/verilog/structs/array_in_struct1.desc
@@ -1,7 +1,6 @@
-KNOWNBUG
+CORE
 array_in_struct1.sv
 
 ^EXIT=0$
 ^SIGNAL=0$
 --
-This fails in the typechecker.
