blob: b13caaac6515d2b3b2dd38648234635c557ccc98 [file] [log] [blame]
/*
:name: cover_test
:description: cover test
:should_fail: 0
:tags: 16.2
*/
module top();
logic a = 1;
cover (a != 0);
endmodule