src/Testcases/Google/chapter-16/16.2--assert.sv

/*
:name: assert_test
:description: assert test
:should_fail: 0
:tags: 16.2
*/
module top();

logic a = 1;

assert (a != 0);

endmodule