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