KNOWNBUG test for smv-to-netlist

kroening · kroening · commit 767623b4fdc7 · 2025-10-22T13:24:53.000-07:00
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
