diff --git a/tests/verilog/fcall_smoke.ys b/tests/verilog/fcall_smoke.ys
new file mode 100644
index 000000000..a878e76f6
--- /dev/null
+++ b/tests/verilog/fcall_smoke.ys
@@ -0,0 +1,15 @@
+read_verilog -sv <<EOT
+module smoke_initstate (
+	input resetn,
+    input clk,
+    input a
+);
+    always @(posedge clk) begin
+        assert property ($stable(a));
+        assert property ($changed(a));
+        assert property ($rose(a));
+        assert property ($fell(a));
+		assume(resetn == !$initstate);
+	end
+endmodule
+EOT