Merge pull request #1355 from diffblue/verilog2

tautschnig · web-flow · commit 3ea5b63583c3 · 2025-10-23T12:38:42.000+03:00
KNOWNBUG test for smv-to-netlist
diff --git a/regression/ebmc/smv-netlist/verilog2.desc b/regression/ebmc/smv-netlist/verilog2.desc
@@ -0,0 +1,8 @@
+KNOWNBUG
+verilog2.sv
+--smv-netlist
+^EXIT=0$
+^SIGNAL=0$
+--
+--
+This throws an error.
diff --git a/regression/ebmc/smv-netlist/verilog2.sv b/regression/ebmc/smv-netlist/verilog2.sv
@@ -0,0 +1,4 @@
+module main;
+  wire [7:0] some_wire;
+  assign some_wire[7:0] = 0;
+endmodule
