Améliorations TP property-based testing
Je ne devrais peut-être pas faire ces changements tout de suite car il y a une discussion en cours de supprimer ce TP et fusionner avec le cours "Robust code" de Julien, sous forme d'une version C++ des exercices de ce dernier que je co-animerais avec lui. Mais les points suivants ont été soulevés lors de la première édition de la formation:
- Pour les opérations avec 2 vecteurs, il est préférable de tester séparément le cas où les vecteurs sont de taille égale et de taille différente, car la probabilité de tirer deux vecteurs de même taille au hasard est peu élevée.
- Les comparaisons >= et <= ont aussi besoin de tolérance en virgule flottante, car la borne inférieure/supérieure est elle aussi entachée d'imprécision.
Edited by GRASLAND Hadrien