afirma.h

<assert.h> este un antet inclus în biblioteca standard de limbaj C , care definește macro-ul assert . Macro implementează o afirmație , care poate fi utilizată pentru a verifica ipotezele făcute de program.

Macro assertdiagnostichează afirmațiile din program. Când se execută, dacă expresia este falsă (adică egală cu 0), assertscrieți informații despre apelul eșuat către stderr, apoi sunați abort ; mai precis, informațiile scrise stderrsunt:

numele fișierului sursă;
numărul liniei în cauză în codul sursă;
funcția implicată în codul sursă;
textul expresiei care a fost evaluat la 0.

Exemplu de utilizare

#include <stdio.h> #include <assert.h> int test_assert ( int x ) { assert( x <= 4 ); return x; } int main ( void ) { int i; for (i=0; i<=9; i++){ test_assert( i ); printf("i = %i\n", i); } return 0; }

i = 0 i = 1 i = 2 i = 3 i = 4 assert: assert.c:6: test_assert: Assertion `x <= 4' failed. Aborted

Aici programul este întrerupt în timpul executării test_assertapelului cu parametrul 5.