### 9.4.4 Fonction testant si une condition est vérifiée : assert

assert a comme argument un booléen.
assert interrompt le programme et renvoie une erreur si ce booléen est égal à faux.
Par exemple, on veut que les paramètres a,b de la fonction toto(a,b) soient positifs.
Onécrira alors, au début du programme, l’instruction :
assert(a>0 and b>0)
Le programme se déroulera si a et b sont positifs et sinon assert renverra une erreur.