Diagnostic

La fonction assert permet de mettre des assertions dans le source du programme. À l'exécution, si le paramètre de assert s'évalue à faux, le programme est stoppé sur terminaison anormale.