GitLab

J'ai une vague impression que l'on entend deux objectifs contradictoires, qui peuvent dépendre des applications :

• d'un côté, on peut vouloir détecter plus de D (et donc 'plus longs') #1879, #2002, #2298 (closed)
• de l'autre, on peut préférer que les V ne soient 'pas trop longs' au niveau de la jonction, #2124, #2825 (et #1408 #1412)

Cela me semblerait bizarre d'étendre au plus les D et de restreindre les V/J.

Si nous n'arrivons pas à tout faire en un seul coup/coût, peut-être qu'une solution serait d'avoir deux configurations (que ce soit cpp-options ou server-config). On pourrait en profiter pour être, d'un côté, vraiment stringeant, et, de l'autre, vraiment tolérant.

Au passage, nouveau label cpp-costs, peut-être similaire à bio-e-value, mais pas toujours. En tout cas certaines issues cpp-finesegmenter / cpp-finesegmenter-D ne sont pas cpp-costs.