diff --git a/regression/verilog/modules/ports9.desc b/regression/verilog/modules/ports9.desc
new file mode 100644
index 000000000..201224631
--- /dev/null
+++ b/regression/verilog/modules/ports9.desc
@@ -0,0 +1,9 @@
+KNOWNBUG
+ports9.sv
+--bound 1
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+This gives the wrong answer.
diff --git a/regression/verilog/modules/ports9.sv b/regression/verilog/modules/ports9.sv
new file mode 100644
index 000000000..50fbad159
--- /dev/null
+++ b/regression/verilog/modules/ports9.sv
@@ -0,0 +1,15 @@
+module sub(input in, output logic data);
+
+  assign data = in;
+
+endmodule
+
+module main;
+  logic subout;
+
+  sub sub_inst(.data(subout));
+
+  // The value of the output needs to be able to change
+  cover property (##1 subout != $past(subout));
+
+endmodule