find_invariant
debutant
Trouvez l'invariant de boucle pour la somme des elements d'un tableau.
int somme(int t[], int n) { int s = 0, k = 0; while (k < n) { s += t[k]; k++; } return s; }int somme(int t[], int n) { int s = 0, k = 0; while (k < n) { s += t[k]; k++; } return s; }