Les assertions ne se soucient pas de savoir si votre code est exempt de bogues. Elles se soucient de savoir si le résultat viole les invariants de protocole. Aussi simple que cela.
189