test elaboration/type_operator already works

kroening · kroening · commit 9f54b2f895e2 · 2024-09-16T13:43:45.000-07:00
The missing feature was added with #357.
diff --git a/regression/verilog/elaboration/type_operator.desc b/regression/verilog/elaboration/type_operator.desc
@@ -1,9 +1,8 @@
-KNOWNBUG
+CORE
 type_operator.sv
 --bound 0
 ^EXIT=0$
 ^SIGNAL=0$
 --
 ^warning: ignoring
 --
-We need to add support for the System Verilog type operator.
