Διάγνωση
Επικεφαλίδα
#include <assert.h>
Περιλαμβάνει
Τη συνάρτηση assert
Βασικές συναρτήσεις
- assert
 - Με τη δήλωση assert(x) ο προγραμματιστής δηλώνει
στο πρόγραμμα ότι με βάση το σχεδιασμό του περιμένει
ότι η χ θα είναι αληθής.
Αν η x δεν είναι αληθής το πρόγραμμα διακόπτει την εκτέλεσή του
με μήνυμα που πληροφορεί το χειριστή για το σημείο που παρουσιάστηκε
το πρόβλημα.
 
Παράδειγμα
Το παρακάτω παράδειγμα τυπώνει τους αριθμούς 0-9.
Στη συνέχεια θέλουμε να τυπώσει 20 με τη χρήση του i.
Για το σκοπό αυτό ελέγχουμε ότι το i στο τέλος του βρόχου είναι όντως 10.
#include <stdio.h>
#include <assert.h>
main()
{
        int i;
        for (i = 0; i < 10; i++)
                printf("%d\n", i);
        /* i should be 10 here */
        assert(i == 10);
        printf("%d\n", i + i);
}