.\" @(#)assert.3 6.2 (Berkeley) 5/12/86
.TH ASSERT 3 "May 12, 1986"
assert \- program verification
is a macro that indicates
is expected to be true at this point in the program.
with a diagnostic comment on the standard output when
the source line number of the