ASSERT(3) 1986 ASSERT(3) NNAAMMEE assert - program verification SSYYNNOOPPSSIISS ##iinncclluuddee <<aasssseerrtt..hh>> aasssseerrtt((eexxpprreessssiioonn)) DDEESSCCRRIIPPTTIIOONN _A_s_s_e_r_t is a macro that indicates _e_x_p_r_e_s_s_i_o_n is expected to be true at this point in the program. It causes an _e_x_i_t(2) with a diagnostic comment on the standard output when _e_x_p_r_e_s_s_i_o_n is false (0). Compiling with the _c_c(1) option --DDNNDDEEBBUUGG effectively deletes _a_s_s_e_r_t from the program. DDIIAAGGNNOOSSTTIICCSS `Assertion failed: file _f line _n.' _F is the source file and _n the source line number of the _a_s_s_e_r_t statement. Printed 7/27/90 May 1