unixdev.net


Switch to SpeakEasy.net DSL

The Modular Manual Browser

Home Page
Manual: (4.2BSD)
Page:
Section:
Apropos / Subsearch:
optional field

ASSERT(3X)                                                          ASSERT(3X)



NAME
       assert - program verification

SYNOPSIS
       #include <&lt;assert.h>&gt;

       assert(expression)

DESCRIPTION
       Assert  is  a macro that indicates expression is expected to be true at
       this point in the program.  It causes an exit(2) with a diagnostic com-
       ment  on  the  standard output when expression is false (0).  Compiling
       with the cc(1) option -DNDEBUG effectively deletes assert from the pro-
       gram.

DIAGNOSTICS
       `Assertion  failed:  file  f  line  n.'  F is the source file and n the
       source line number of the assert statement.



                                19 January 1983                     ASSERT(3X)