List view
La programmation par contrat permet de verifier que des propriété sont vérifié sur un élement sans avoir besoin d'écrire de code complexe, ou verbeux.
No due date•1/1 issues closedL'objectif de cette milestone est d'ajouter quelques verfications statiques supplémentaire, qui pourrait aider le développeur à identifier la provenance d'un bug. Ces verifications peuvent entrainer des erreurs, comme pour les dépacements de capacités des nombre entiers, ou des warning comme dans le cas de retour de pointeur local.
No due date•2/2 issues closed