diff --git a/tests/regression/smt_dynamic_index_assign.sby b/tests/regression/smt_dynamic_index_assign.sby
new file mode 100644
index 0000000..993d75a
--- /dev/null
+++ b/tests/regression/smt_dynamic_index_assign.sby
@@ -0,0 +1,22 @@
+[options]
+mode cover
+depth 36
+
+[engines]
+smtbmc boolector
+
+[script]
+read -formal top.sv
+prep -top top
+
+[file top.sv]
+module top(input clk);
+    reg [33:0] bits = 0;
+    reg [5:0] counter = 0;
+
+    always @(posedge clk) begin
+        counter <= counter + 1;
+        bits[counter] <= 1;
+        cover (&bits);
+    end
+endmodule