diff --git a/tests/various/lcov.gold b/tests/various/lcov.gold
index 564783557..5b160fae8 100644
--- a/tests/various/lcov.gold
+++ b/tests/various/lcov.gold
@@ -38,6 +38,7 @@ DA:48,0
 DA:49,0
 DA:52,1
 DA:53,0
-LF:39
+DA:56,1
+LF:40
 LH:24
 end_of_record
diff --git a/tests/various/lcov.v b/tests/various/lcov.v
index c481638cd..09fccf70f 100644
--- a/tests/various/lcov.v
+++ b/tests/various/lcov.v
@@ -52,4 +52,8 @@ module top (
     assign out1 = cone1_3 | (reg1 ^ 8'hA5);
     assign out2 = cone2_3 & (reg3 | 8'h5A);
 
+    always @(posedge clk) begin
+        assert (out1 == 8'h42);
+    end
+
 endmodule
diff --git a/tests/various/lcov.ys b/tests/various/lcov.ys
index f1d233acc..8122611c0 100644
--- a/tests/various/lcov.ys
+++ b/tests/various/lcov.ys
@@ -1,4 +1,8 @@
-read_verilog lcov.v
+read_verilog -formal lcov.v
 prep -top top
-linecoverage -lcov lcov.out o:\out1 %ci*
+async2sync
+chformal -lower
+select -set covered t:$assert %ci*
+select -set irrelevant o:* %ci* %n
+linecoverage -lcov lcov.out @covered @irrelevant %u
 exec -expect-return 0 -- diff -q lcov.out lcov.gold