Très bonne question et nous n'avons en effet pas été consistants entre nous...
Mathématiquement l'extension zéro de l'ensemble vide est une infinité de 0 et l'extension par enroulement de l'ensemble vide est vide. Donc je trouve que (globalement) la donnée a raison (sauf pour wrap où ça devrait retourner NULL) et que notre test sur ext_zero doit être changer. Pour résumer :
- ext_zero sur NULL doit donner un vecteur ne contenant que des 0, de taille size (demandée) ;
- wrap sur NULL doit donner NULL.
Je vais patcher la donnée (pour wrap) et le code unit-test-bit-vector.c (pour extend_zero) dans quelques minutes.
Merci pour la remarque/question.
Merci pour la remarque/question.
