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