Diagnóstico impreso por la función assert
ANSI 4.2 El diagnóstico impreso por la función assert y su comportamiento de finalización
La función assert imprime un mensaje de diagnóstico y llama a la rutina abort si la expresión es false (0). El mensaje de diagnóstico tiene la forma
Error de aserción: expression, archivo filename, línea linenumber
donde filename es el nombre del archivo de código fuente y linenumber es el número de línea de la aserción que produjo un error en el archivo de código fuente. No se realiza ninguna acción si la expresión es true (distinto de cero).