blob: b1f4ee044964fc0f696a197e0ec3cbcf850abeb3 [file] [log] [blame]
/*
:name: cover_final_test
:description: cover final test
:should_fail: 0
:tags: 16.4
*/
module top();
logic a = 1;
cover final (a != 0);
endmodule