1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/synth/issue1273/vassert.v b/testsuite/synth/issue1273/vassert.v
new file mode 100644
index 000000000..7d8afb61d
--- /dev/null
+++ b/testsuite/synth/issue1273/vassert.v
@@ -0,0 +1,6 @@
+module vassert(input wire clk, input wire [7:0] d, output wire q);
+  always @(posedge clk)  begin
+    assert(d != 8'ha5);
+    q <= ^d;
+  end
+endmodule