Museum

Home

Lab Overview

Retrotechnology Articles

Online Manuals

⇒ assert.bsd(3X) — Domain/IX SR9.5

Media Vault

Software Library

Restoration Projects

Artifacts Sought

ASSERT(3X)

NAME

assert − program verification

USAGE

#include <sdtio.h> #include <assert.h>
 
assert(expression)

DESCRIPTION

Assert is a macro that indicates that expression is expected to be true at this point in the program.  It causes an exit(2) with a diagnostic comment on the standard output when expression is false (zero).  Compiling with the cc(1), option −DNDEBUG effectively deletes assert from the program. 

DIAGNOSTICS

“Assertion failed: file f line n”.  F is the name of the source file, and n is the line number of the assert statement in the source file. 

Typewritten Software • bear@typewritten.org • Edmonds, WA 98026