Enfin là ça n'a rien à voir avec la correction du code, on demande juste à ce qu'il fasse la même chose que la version précédente. Et là, la compléxité ne me semble pas insurmontable.
Après, si l'interface est trop complexe, c'est un autre problème, mais c'est indépendant de la complexité d'une preuve de code.
[^] # Re: Apple , HP ou Sun
Posté par Cédric Chevalier (site web personnel) . En réponse au journal Victoire de RMS sur Microsoft. Évalué à 1.
Après, si l'interface est trop complexe, c'est un autre problème, mais c'est indépendant de la complexité d'une preuve de code.