(7.2) The diagnostic printed by and the termination behavior of the assert function:

The diagnostic is:

Assertion failed: statement. file filename, line number

Where:

• statement is the statement which failed the assertion

• filename is the name of the file containing the failure

• line number is the number of the line on which the failure occurs