From 767623b4fdc7b5df46896fffa37416415c4a3db3 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Wed, 22 Oct 2025 13:24:53 -0700
Subject: [PATCH] KNOWNBUG test for smv-to-netlist

---
 regression/ebmc/smv-netlist/verilog2.desc | 8 ++++++++
 regression/ebmc/smv-netlist/verilog2.sv   | 4 ++++
 2 files changed, 12 insertions(+)
 create mode 100644 regression/ebmc/smv-netlist/verilog2.desc
 create mode 100644 regression/ebmc/smv-netlist/verilog2.sv

diff --git a/regression/ebmc/smv-netlist/verilog2.desc b/regression/ebmc/smv-netlist/verilog2.desc
new file mode 100644
index 000000000..d2ce100d3
--- /dev/null
+++ 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
new file mode 100644
index 000000000..f4c7425cd
--- /dev/null
+++ 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