assert

La commande assert assure qu'une certaine condition est rencontrée avant que l'utilisateur puisse continuer.

ex: assert nombre >= 0

Cette consigne assure que la donnée générée ou entrée qui sera stockée avec l'identificateur nombre est au delà de 0. Si elle ne l'est pas, le programme génère une erreur et termine.