GitLab

Suite à #2913 (closed)/#1580 (closed).

Si je ne trompe pas, le shift peut être d'au plus -5/+5, tandis que le short peut aller beaucoup plus loin. Autant cela ne me gène pas de raccourcir quand on n'a pas le choix (reads courtes des deux côtés), autant je pense qu'on pourrait bénéficier de plus de contenu à gauche quand on le peut. Spontanément, j'aimerais mettre :

• les shifts testés à {-1, 1, -2, 2, -3, 3, -4, 4}, ou au moins {-1, 1, -2, 2}
• et/ou une valeur de DEFAULT_WINDOW_SHIFT à 10 ou 15.

Je ne sais pas si on peut arriver à quelque chose de plus rationel. En tout cas :

• un w50/-10 serait mieux qu'un w45/-5
• un w50/-20 serait mieux qu'un w35/-5 (?)
• par contre on ne doit pas faire w50/-30 à la place d'un w25/-5 qui serait sous le MINIMAL_WINDOW_LENGTH

Pour info, les shifts sur stanford-w100:

 913 w100/-5 
 197 w95/-5 
 163 w90/-5 
  63 w85/-5 
  29 w80/-5 
   2 w75/-5 
   1 w60/-5