6.1 <assert.h> Diagnostics

The content of the header file assert.h is useful for debugging logic errors in programs. By using these features in critical locations where certain conditions should be true, the logic of the program may be tested.