ASSERT(3X)          UNIX Programmer's Manual           ASSERT(3X)

NAME
     assert - program verification

SYNOPSIS
     #include <assert.h>

     assert (expression);

HP-UX COMPATIBILITY
     Level:    HP-UX/RUN ONLY

     Origin:   System III

DESCRIPTION
     This macro is useful for putting diagnostics into  programs.
     When  it  is  executed,  if  _e_x_p_r_e_s_s_i_o_n  is false, it prints
     "Assertion failed: file _x_y_z, line _n_n_n" on the standard error
     file  and  exits.  _X_y_z is the source file and _n_n_n the source
     line number of the _a_s_s_e_r_t  statement.   Compiling  with  the
     preprocessor  option  -DNDEBUG (see _c_c(1)) will cause _a_s_s_e_r_t
     to be ignored.